论文信息 - TReasoner: System Description

TReasoner: System Description

TReasoner is a reasoning system supporting the SHOIQ(D) logic expressiveness, which forms the basis of the OWL DL language. The TReasoner was developed for using in the enterprise architecture verification expert systems, but the OWL API package allows to use the system for performing ontology operations. The reasoner implements a tableau algorithm and optimization techniques, some of them were developed and were used for the first time. This description also contains an assessment of the developed system efficiency.

Alexander G. Ivashko | Andrey V. Grigorev

[1] Bernhard Nebel,et al. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[3] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[4] Ian Horrocks,et al. Optimising Tableaux Decision Procedures For Description Logics , 1997 .

[5] Julian Mendez,et al. jcel: A Modular Rule-based Reasoner , 2012, ORE.

[6] Volker Haarslev,et al. Tableau Caching for Description Logics with Inverse and Transitive Roles , 2006, Description Logics.

[7] Boris Motik,et al. The HermiT OWL Reasoner , 2012, ORE.

[8] Linh Anh Nguyen. An Efficient Tableau Prover using Global Caching for the Description Logic ALC , 2009, Fundam. Informaticae.

[9] Ian Horrocks,et al. Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.

[10] Markus Krötzsch,et al. ELK Reasoner: Architecture and Evaluation , 2012, ORE.

[11] Patrick Prosser,et al. HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM , 1993, Comput. Intell..

[12] Sean Bechhofer,et al. The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.