• RacerPro

  • Referenced in 6 articles [sw17663]
  • RacerPro knowledge representation and reasoning system. RacerPro is a software system for building applications based ... reasoner. It provides inference services for terminological knowledge as well as for representations of knowledge...
  • KL-ONE

  • Referenced in 41 articles [sw28891]
  • logics. Description logics are a family of knowledge representation formalisms that are descended from semantic ... important rôle in description logics (number restrictions, terminological axioms, and role constructors), and show...
  • QUBE

  • Referenced in 28 articles [sw11381]
  • tasks involving planning [1], abduction, reasoning about knowledge, non monotonic reasoning [2], can be directly ... start our presentation in § 2 with some terminology and definitions necessary for the rest...
  • KANTOO

  • Referenced in 2 articles [sw04908]
  • generation, source terminology management, target terminology management, and knowledge source development. The KANTOOsystem represents...
  • BladeGen

  • Referenced in 1 article [sw19461]
  • design and analysis knowledge into a user-friendly graphical environment with terminology familiar to engineers ... design and analysis knowledge into a user-friendly graphical environment with terminology familiar to engineers...
  • DIAsDEM

  • Referenced in 1 article [sw29650]
  • textual documents. To turn archives into valuable knowledge sources, textual content must become explicit ... focuses on archives characterized by a peculiar terminology and by an implicit structure such ... court filings and company reports. In the knowledge discovery phase, text units are iteratively clustered...
  • MaSTerClass

  • Referenced in 1 article [sw17381]
  • sheer volume of textually described biomedical knowledge exerts the need for natural language processing ... Specialized semantic networks (such as biomedical ontologies, terminologies or semantic lexicons) can significantly enhance these...
  • GDS

  • Referenced in 1 article [sw13546]
  • must be well-versed in the terminology and literature of the graph drawing community. Then ... environment, or that she has the knowledge and tools to build the application from source...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Pellet

  • Referenced in 95 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications...
  • FaCT++

  • Referenced in 71 articles [sw09836]
  • FaCT++ is the new generation of the well...
  • Racer

  • Referenced in 66 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • DL-learner: learning concepts in description logics. In...
  • CEX

  • Referenced in 3 articles [sw19453]
  • Logical Difference Computation with CEX2.5. We present a...
  • BioPortal

  • Referenced in 13 articles [sw22917]
  • BioPortal: ontologies and integrated data resources at the...