Reasoning about ontologies - fast vs. complete answers

In this article you will gain more intuition about: - how to query your ontology - the difference between reasoner and materialized graph - what is materialization mode OWL-DL and materialization mode OWL-RL+ - when you can use faster OWL RL+ reasoning mode safely You will see two example ontologies: - about books (using data types, cardinality restriction, data type restrictions) - about political preferences (SWRL rules, defining concepts by enumeration) You can reproduce the steps by downloading the ontologies: - my_books.encnl - political_parties.encnl and opening it with FluentEditor on your computer.

About reasoners and materialized graph

With recent FluentEditor releases the user has three tools to query the ontology:

• reasoner of choice (in this example Hermit reasoner is used)
• materialized graph (we can use either OWL-DL or OWL-RL+ materialization mode)
• SPARQL queries