Results 1 to 17 of 17
Sort by:

  • 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...