• KL-ONE

  • Referenced in 40 articles [sw28891]
  • overview of tableau algorithms for description logics. Description logics are a family of knowledge representation ... satisfiability) in a great variety of description logics can be decided using tableau-like algorithms ... This is not very surprising since description logics have turned out to be closely related ... different underlying intuitions and applications, most description logics differ significantly from run-of-the-mill...
  • Racer

  • Referenced in 65 articles [sw09837]
  • highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • most important differences to F-Logic and SiLRI is that TRIPLE does not have ... Topic Maps, or RDF Schema. Description logics extensions of RDF (Schema) like OIL and DAML ... modules that interact with a description logic classifier, e.g. FaCT, resulting in a hybrid rule...
  • Fuzzydl

  • Referenced in 27 articles [sw11709]
  • FuzzyDL is a Description Logic Reasoner supporting Fuzzy Logic and fuzzy Rough Set reasoning...
  • MSPASS

  • Referenced in 24 articles [sw17667]
  • theorem prover, a theorem prover for description logics and a theorem prover for the relational...
  • LoTREC

  • Referenced in 25 articles [sw07684]
  • LoTREC: Logical tableaux research engineering companion. In this paper we describe a generic tableaux system ... satisfiability of formulas in modal and description logics. This system is called LoTREC2.0...
  • CEL

  • Referenced in 15 articles [sw12477]
  • Description logics (DLs) are an important family of formalisms for reasoning about ontologies ... first reasoner for the description logic EL+, supporting as its main reasoning task the computation ... polynomial-time algorithm. The supported description logic EL+ offers a selected set of expressive means...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • given set of specifications. The algorithmic description is done in a high level language inspired ... formulas of a branching time logic, the temporal operators of which can be computed iteratively ... obtaining by automatic translation of its description program an Interpreted Petri Net representing...
  • ETPS

  • Referenced in 156 articles [sw06302]
  • Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic Publishers, 2002. Descriptions...
  • HTab

  • Referenced in 11 articles [sw12427]
  • related to both modal logic and description logic. A variety of proof mechanisms for hybrid ... logic exist, but the only widely available implemented proof system, HyLoRes, is based ... widely used for both modal and description logics. Tableaux algorithms have also been developed...
  • FORS

  • Referenced in 16 articles [sw04848]
  • numerical regression. First-order logic descriptions are induced to carve out those subspaces that...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • several extensions with fuzzy logic and rough logic, among other formalisms, have been proposed ... This allows using classical (widely available) Description Logic inference engines to reason with the representation...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • planning in higher-order logic with λClam. This system description outlines the λClam system...
  • DLog

  • Referenced in 7 articles [sw09839]
  • Efficient description logic reasoning in Prolog: The DLog system. Traditional algorithms for Description Logic...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • learner: learning concepts in description logics. In this paper, we introduce DL-Learner, a framework ... learning in description logics and OWL. OWL is the official W3C standard ontology language...
  • GF

  • Referenced in 32 articles [sw13667]
  • grammars. It uses a Logical Framework (LF) for a description of abstract syntax, and adds...
  • Konclude

  • Referenced in 8 articles [sw12474]
  • language is formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude...
  • MetTeL

  • Referenced in 15 articles [sw11990]
  • MetTeL: A tableau prover with logic-independent inference engine. MetTeL is a generic tableau prover ... various modal, intuitionistic, hybrid, description and metric logics. The core component of MetTeL...
  • GDL

  • Referenced in 18 articles [sw27615]
  • Game Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth...
  • MASTRO

  • Referenced in 7 articles [sw35563]
  • Lite family of tractable Description Logics specifically tailored to ontology-based data access...