Documentation

Using TrOWL in Protégé

You can now use TrOWL in Protégé 4.2. Simply put eu.trowl.owlapi3.rel.jar into the Protégé’s plugins folder. When you restart Protégé, TrOWL will appear as an option in the Reasoner menu.  More…

Embedding TrOWL with OWL API

You can embed TrOWL in your program as a library of tractable rasoning infrastructure for OWL2. TrOWL supports the OWLReasoner interface from the OWL API. It has native support for working with objects such as ontologies and class expression from the OWL API 3.2.X.
To start, you could unzip the zip file for TrOWL and create a new Java project based on the Eclipse folder. The sample java file is titled TrOWLDemo.java and the sample owl file is titled food.owl. More…

Using Local Closed World Reasoning in TrOWL

From version 0.7 TrOWL supports local closed world reasoning with NBox, which is a set of predicates (classes and object properties) that are closed. TrOWL uses an annotation property http://trowl.eu/REL#NBox to indicate whether a property should be closed. When ontology containing such an NBox is loaded, TrOWL will exploit such information and close the corresponding predicates in reasoning.
The example ontology food.owl already contains such annotation and the examples in TrOWLDemo.java show how to use such functionalities. More…

Using TrOWL with Jena, Joseki and TDB, and Semantic Mediawiki

From version 0.7 TrOWL also supports Jena, which enables its connection with Joseki and TDB, and Semantic Mediawiki. Please see the corresponding examples about how to use such features: Jena, Joseki and TDB, Semantic MediaWiki.

Using TrOWL for Ontology Stream Reasoning

From version 0.9 TrOWL supports ontology stream reasoning with truth maintenance systems. Two new REL reasoner classes are implemented in the release that maintain the intermediate results and their derivation information. Therefore removing axioms in the ontology can be realised more efficiently and adding new axioms can also be more efficient due to the preservation of existing partial results.
The approximate justifications of inferred results are also maintained and can be retrieved very efficiently. More…

Using TrOWL for SPARQL Conjunctive Query Answering

From version 1.0 TrOWL supports SPARQL conjunctive query answering via the TrOWL-BGP, an adapted version of the OWL-BGP API. TrOWL v1.0 treats SPARQL variables as distinguished variables that can be evaluated as individuals. More…

Using TrOWL in command line

TrOWL contains two scripts to allow you and load and query data from the command line. These are found in the bin/ folder in your TrOWL installation. More…

If you have more questions. Please send them to the TROWL-DISCUSS Mailing List.

Using TrOWL with Oracle Spatial and Graph RDF Semantic Graph

 Combining TrOWL and Oracle Spatial and Graph RDF Semantic Graph can be realised by using the OWL-DBC package provided. More information can be found here.