• HermiT

  • Referenced in 23 articles [sw12418]
  • HermiT, and HermiT is the first reasoner able to classify a number of ontologies which ... available system to handle. HermiT uses direct semantics and passes ... conformance tests for direct semantics reasoners...
  • Isar

  • Referenced in 144 articles [sw04599]
  • reasoning (Isar) approach to readable formal proof documents sets out to bridge the semantic ... interactive proof assistants, we arrive at a reasonable environment for live proof document editing. Thus...
  • Abella

  • Referenced in 52 articles [sw09461]
  • level logic approach to specification and reasoning. One level is defined by a specification logic ... structural semantics rules and also enables their execution. The second level, called the reasoning logic...
  • VeriFun

  • Referenced in 10 articles [sw22187]
  • system for teaching Automated Reasoning, Semantics, Verification and similar subjects and has been used...
  • Facile

  • Referenced in 22 articles [sw08679]
  • labeled transition system. Such a semantics is useful for reasoning about the operational behavior ... concurrent processes evaluating functional expressions. The implementation semantics includes compilation rules from Facile...
  • Z

  • Referenced in 286 articles [sw10291]
  • minor unclarities, inconsistencies and errors (both in semantics and spelling). This gives the impression that ... promoting a discipline of formal specification and reasoning? Another disappointment is that in those places...
  • NoMoRe

  • Referenced in 22 articles [sw07094]
  • system for non-monotonic reasoning under answer set semantics NoMoRe implements answer set semantics...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas ... Texas Action Group at Austin. The semantics of the language of CCalc is related...
  • OilEd

  • Referenced in 25 articles [sw01560]
  • OilEd: A reason-able ontology editor for the semantic web Ontologies will play a pivotal ... Semantic Web”, where they will provide a source of precisely defined terms that ... expressive web ontology language (OIL). OilEd uses reasoning to support ontology design, facilitating the development...
  • DIAMOND

  • Referenced in 9 articles [sw22086]
  • adequate encodings for a given instance, semantics and reasoning problem...
  • Racer

  • Referenced in 66 articles [sw09837]
  • download tab. Racer provides implementations of standard reasoning problems for T-boxes and A-boxes ... abduction. Racer also provides the powerful and semantically well-defined conjunctive query language nRQL ... convenient APIs for accessing its reasoning services from within Common Lisp and Java...
  • MetaPRL

  • Referenced in 26 articles [sw04624]
  • proof and automated reasoning. A primary feature of MetaPRL is a semantic connection to programming...
  • TrOWL

  • Referenced in 6 articles [sw12480]
  • TrOWL: Tractable OWL 2 reasoning infrastructure. The Semantic Web movement has led to the publication ... knowledge on the Semantic Web. Tools exist to reason over these ontologies and to answer...
  • SCIFF

  • Referenced in 20 articles [sw20513]
  • SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF’s operational ... programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this ... article we present the declarative and operational semantics of the SCIFF language, and the termination...
  • Cyc

  • Referenced in 20 articles [sw16452]
  • semantic technologies that bring a new level of intelligence and common sense reasoning...
  • iProver

  • Referenced in 56 articles [sw09707]
  • modular combination of instantiation and propositional reasoning. In particular, any state ... implementation techniques such as indexing, redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented...
  • KL-ONE

  • Referenced in 41 articles [sw28891]
  • knowledge representation formalisms that are descended from semantic networks and frames via the system ... been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety...
  • SRASS

  • Referenced in 12 articles [sw21370]
  • conjecture. The selection is determined by semantics of the axioms and conjecture, ordered heuristically ... solved alone by the underlying conventional automated reasoning system...
  • DRAGO

  • Referenced in 3 articles [sw15032]
  • DRAGO: Distributed Reasoning Architecture for the Semantic Web. The paper addresses the problem of reasoning ... interoperable Semantic Web. In contrast to the so called global reasoning approach, in this paper ... accomplishes reasoning through a combination of local reasoning chunks, internally executed in each separate ontology ... multiple semantically connected ontologies, we define a sound and complete distributed tableau-based reasoning procedure...
  • Sparkle

  • Referenced in 14 articles [sw09803]
  • parts of programs, combining programming and reasoning into one process. It can also be used ... semantics based on lazy graph-rewriting. This allows reasoning to take place on the program...