Introduction to: Reasoners
Reasoning is the task of deriving implicit facts from a set of given explicit facts. These facts can be expressed in OWL 2 ontologies and stored RDF triplestores. For example, the following fact: “a Student is a Person,” can be expressed in an ontology, while the fact: “Bob is a Student,” can be stored in a triplestore. A reasoner is a software application that is able to reason. For example, a reasoner is able to infer the following implicit fact: “Bob is a Person.”
Reasoning Tasks
Reasoning tasks considered in OWL 2 are: ontology consistency, class satisfiability, classification, instance checking, and conjunctive query answering.





“A study is not a study on its own,” says Forsberg. Today, the goal is to do meta-analysis across many studies, so parties ranging from pharmaceuticals companies to contract research organizations to government authorities all are ‘customers’ of clinical data, so to speak. Data from various studies must be shared among all these parties. “It puts a new context around clinical trial data, that it must be easy to link data together, to link across several different studies,” she says.
SKOS, which stands for Simple Knowledge Organization System, is a W3C standard, based on other Semantic Web standards (
“The idea of the Big S Semantic Web seems to have fallen off by the wayside in publishing as people are just trying to structure their data,” says Barbara McGlamery, taxonomist at 

Eric Franzon
VP Community
Jennifer Zaino
Contributor
Angela Guess Contributor
semanticweb.com Twitter feed loading...