• Pellet

  • Referenced in 93 articles [sw07019]
  • applications that need to represent and reason about information using OWL, Pellet is the leading ... systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support ... nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about the architecture ... features in Pellet Help. An OWL DL reasoner like Pellet is a core component...
  • FaCT++

  • Referenced in 70 articles [sw09836]
  • well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with...
  • CEL

  • Referenced in 15 articles [sw12477]
  • description logic EL+, supporting as its main reasoning task the computation of the subsumption hierarchy ... that, unlike other modern DL reasoners, it implements a polynomial-time algorithm. The supported description...
  • DLog

  • Referenced in 8 articles [sw09839]
  • logic reasoning in Prolog: The DLog system. Traditional algorithms for Description Logic (DL) instance retrieval ... general enough to be interesting for DL reasoner implementors not using Prolog. We give ... overview of DLog, a DL reasoner in Prolog, which is an implementation of the techniques ... compare it to some widely used DL reasoners, such as RacerPro, Pellet and KAON2...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • Pronto—the first probabilistic Description Logic (DL) reasoner capable of processing knowledge bases containing about ... interaction with the underlying DL reasoner which, first, enables applying well-known linear programming techniques...
  • LIGHT

  • Referenced in 1 article [sw28517]
  • Intelligent tableau algorithm for DL reasoning. Although state-of-the-art description logic (DL) reasoners ... equipped with a comprehensive set of optimizations, reasoning performance is still a major bottleneck ... comprehensive learning techniques to tackle all DL reasoning tasks. We also provide a reference implementation ... reasoner called LIGHT for the DL (mathcal{ALC}) dialect based on the algorithm we developed...
  • Hydrowl

  • Referenced in 2 articles [sw20067]
  • hybrid query answering system for OWL 2 DL ontologies. This system description paper introduces ... query answers combine at run-time a reasoner ans1 supporting a (tractable) fragment ... with a fully-fledged OWL 2 DL reasoner ans2. The motivation is that if most ... even over expressive fragments of OWL 2 DL. We discuss the system’s architecture...
  • JFact

  • Referenced in 1 article [sw22923]
  • JFact DL Reasoner. JFact is a Java port of the FaCT++ OWL DL reasoner...
  • KRHyper

  • Referenced in 1 article [sw25424]
  • motivated by the arising need for reasoning on mobile devices for mobile semantic web applications ... satisfy this need, a Description Logics (DL ... interface is provided, which allows DL reasoning by transforming DL Expressions into first order clausal...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case. Safety ... complexity. Dynamic Logics (DL) present a large body of techniques to reason about and certify ... puts together DL with Petri nets, providing a theoretical background to reason about Petri nets...
  • Konclude

  • Referenced in 12 articles [sw12474]
  • Konclude is a high-performance reasoner for large and expressive ontologies. The supported ontology language ... formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle ... nominal schemas which allow for expressing arbitrary DL-safe rules simply by using given ontology ... Konclude server. As of now, the reasoning engine offers the most common reasoning services such...
  • RuQAR

  • Referenced in 1 article [sw22922]
  • reasoning with considerably better performance than DL-based reasoners...
  • PelletSpatial

  • Referenced in 3 articles [sw11708]
  • relations to OWL-DL class axioms and (b) a reasoner based on the RCC composition...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • Programming. DL-Learner includes several learning algorithms, support for different OWL formats, reasoner interfaces...
  • DReW

  • Referenced in 2 articles [sw12483]
  • DReW: a reasoner for Datalog-rewritable description logics and dl-programs...
  • WSReasoner

  • Referenced in 1 article [sw22932]
  • faster while tableau-based reasoners can process more expressive DL languages. However, both of them ... acceptable time. We present a prototype hybrid reasoning system WSReasoner, which is built upon ... takes advantages of both types of reasoners to provide efficient classification service. In our proposed ... less expressive DL ALCH and classified by a consequence-based main reasoner. Classification...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • given probability constraints, can support ontology reasoning, both within and across ontologies as Bayesian inferences ... BayesOWL is restricted to translating only OWL-DL concept taxonomies into BNs, we are actively...
  • MoMo

  • Referenced in 1 article [sw10022]
  • HPSG and axioms in DL). MoMo also supports reasoning such as the construction of well ... automatic extraction of subsumption hierarchies in DL. It has been used successfully in several courses...
  • MASTRO

  • Referenced in 9 articles [sw35563]
  • LiteA,id, a logic of the DL-Lite family of tractable Description Logics specifically tailored ... provided, as well as features for intensional reasoning and consistency checking. MASTRO provides a proprietary...
  • TReasoner

  • Referenced in 0 articles [sw22927]
  • 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 ... system for performing ontology operations. The reasoner implements a tableau algorithm and optimization techniques, some...