Reasoning with networked ontologies

Abstract

The chapter covers basic functionality pertaining to reasoning with ontologies. We first introduce general methods for detecting and resolving inconsistencies, and then present three plugins that provide reasoning and query functionality. The three plugins are: the reasoning plugin, which allows for standard reasoning tasks, such as materialising inferences and checking consistency in ontologies; the RaDON plugin, which provides functionality for diagnosing and resolving inconsistencies in networked ontologies; and the query plugin, which allows for users querying ontologies in the NeOn Toolkit via the RDF query language SPARQL.