• Pellet

  • Referenced in 93 articles [sw07019]
  • systems where sound-and-complete OWL DL reasoning is essential. Pellet includes support ... features in Pellet Help. An OWL DL reasoner like Pellet is a core component...
  • swrl

  • Referenced in 49 articles [sw14002]
  • based on a combination of the OWL DL and OWL Lite sublanguages ... Horn-like rules in both the OWL DL and OWL Lite sublanguages...
  • FaCT++

  • Referenced in 70 articles [sw09836]
  • generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • BayesOWL is restricted to translating only OWL-DL concept taxonomies into BNs, we are actively...
  • KAON2

  • Referenced in 4 articles [sw09838]
  • KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. KAON2 provides ... programmatic management of OWL-DL, SWRL, and F-Logic ontologies, A stand-alone server providing...
  • PelletSpatial

  • Referenced in 3 articles [sw11708]
  • preserving translation of RCC relations to OWL-DL class axioms and (b) a reasoner based...
  • Hydrowl

  • Referenced in 2 articles [sw20067]
  • hybrid query answering system for OWL 2 DL ontologies. This system description paper introduces ... with a fully-fledged OWL 2 DL reasoner ans2. The motivation is that if most ... answering even over expressive fragments of OWL 2 DL. We discuss the system’s architecture...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • introduce DL-Learner, a framework for learning in description logics and OWL ... Logic Programming. DL-Learner includes several learning algorithms, support for different OWL formats, reasoner interfaces...
  • Konclude

  • Referenced in 12 articles [sw12474]
  • formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle ... Ontology Language (OWL 2) with almost all datatypes. In addition, Konclude supports nominal schemas which ... allow for expressing arbitrary DL-safe rules simply by using given ontology syntax extended with ... command line. For applications that use the OWL API, the OWLlink OWL API Adapter...
  • JFact

  • Referenced in 1 article [sw22923]
  • Java port of the FaCT++ OWL DL reasoner; its design matches FaCT++ design very closely...
  • Celows

  • Referenced in 1 article [sw08868]
  • Cell Component Ontology (CelO), expressed in OWL-DL. This ontology captures both the structure...
  • KDDONTO

  • Referenced in 1 article [sw17513]
  • relations of the ontology. Finally, an OWL-DL implementation is proposed and its evaluation...
  • ODV

  • Referenced in 1 article [sw25066]
  • comparison of the ontology code in OWL-DL using the PROMPTDiff algorithm. Having the difference...
  • TReasoner

  • Referenced in 0 articles [sw22927]
  • which forms the basis of the OWL DL language. The TReasoner was developed for using ... enterprise architecture verification expert systems, but the OWL API package allows to use the system...
  • CEL

  • Referenced in 15 articles [sw12477]
  • that, unlike other modern DL reasoners, it implements a polynomial-time algorithm. The supported description ... medical and biological ontologies. CEL is an OWL 2 EL reasoner (albeit currently with some...
  • RuQAR

  • Referenced in 1 article [sw22922]
  • ABox reasoning and query answering with OWL 2 RL ontologies executed by forward chaining rule ... ABox reasoning with considerably better performance than DL-based reasoners...
  • SPARQL

  • Referenced in 132 articles [sw07429]
  • Federation and navigation in SPARQL 1.1. SPARQL is...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • DLog

  • Referenced in 8 articles [sw09839]
  • Efficient description logic reasoning in Prolog: The DLog...
  • Z

  • Referenced in 279 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...