• swrl

  • Referenced in 48 articles [sw14002]
  • proposal for a Semantic Web Rule Language (SWRL) based on a combination ... Lite sublanguages of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML sublanguages ... Rule Markup Language. SWRL includes a high-level abstract syntax for Horn-like rules ... provide the formal meaning for OWL ontologies including rules written in this abstract syntax...
  • DAML+OIL

  • Referenced in 37 articles [sw02445]
  • modelling primitives commonly found in frame-based languages. DAML+OIL (March 2001) extends DAML ... built from the original DAML ontology language DAML-ONT (October 2000) in an effort...
  • OilEd

  • Referenced in 25 articles [sw01560]
  • full power of an expressive web ontology language (OIL). OilEd uses reasoning to support ontology...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • first ontology reasoner that supports fuzzy extensions of the standard languages ... translator from fuzzy rough ontology languages into classical ontology languages . This allows using classical (widely...
  • ELK

  • Referenced in 14 articles [sw22930]
  • most of) the OWL 2 EL ontology language. ELK is a free and open source ... reasoner for the lightweight ontology language OWL 2 EL, developed by the University of Oxford ... Protégé, the Snow Owl ontology editor, or a basic command line interface. ELK is available...
  • HermiT

  • Referenced in 12 articles [sw12418]
  • ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine...
  • PR-OWL

  • Referenced in 7 articles [sw22024]
  • language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body of research ... emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means ... uncertainty in ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values of random ... individuals, classes and properties from ontological languages such...
  • Konclude

  • Referenced in 8 articles [sw12474]
  • large and expressive ontologies. The supported ontology language is formally characterised by the Description Logic ... handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition ... safe rules simply by using given ontology syntax extended with variables. Konclude can be used...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • augments and supplements the semantic web ontology language OWL5 for representing and reasoning with uncertainty ... networks (BN) [26], and its application in ontology mapping. This framework, named BayesOWL, has gone...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • official W3C standard ontology language for the Semantic Web. Concepts in this language...
  • OntoDLV

  • Referenced in 7 articles [sw30415]
  • based Systemfor Enterprise Ontologies. Enterprise/Corporate ontologies are widely adopted to conceptualize business enterprise information ... appropriate than the OntologyWeb Language (OWL) assumptions, also because such ontologies frequently stem from relational ... enterprise ontologies. OntoDLV implements a powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with...
  • MnM

  • Referenced in 5 articles [sw17517]
  • Ontology driven semi-automatic and automatic support for semantic markup. An important precondition for realizing ... this task, users need appropriate representation languages, ontologies, and support tools. In this paper...
  • I2T

  • Referenced in 4 articles [sw36509]
  • spirit similar to parsing sentences in natural language; 2) the image parsing results are converted ... representation in the form of Web ontology language (OWL), which enables seamless integration with general...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • sacrifice either expressive power of the ontology language, or the completeness of query answers ... approach to query answering over OWL 2 ontologies that combines a datalog reasoner with ... efficiently answer queries over OWL 2 ontologies and data, our technical results are very general ... applicable to first-order knowledge representation languages that can be captured by rules allowing...
  • KAoS

  • Referenced in 3 articles [sw08864]
  • framework based on W3C’s OWL ontology language. KAoS was developed in response ... security and trust management. The KAoS architecture, ontologies, policy representation, management and disclosure mechanisms...
  • Swoop

  • Referenced in 3 articles [sw24080]
  • recently standardized Web-oriented ontology language. After discussing the design rationale and architecture of Swoop ... acts as a useful and efficient Web Ontology development tool. We conclude with a list...
  • OTSL

  • Referenced in 3 articles [sw21005]
  • language of actions in ontological transition systems ... framework of the development of a language for ontological transition systems, a sublanguage of actions...
  • Cyc

  • Referenced in 20 articles [sw16452]
  • sense ontology and knowledge base with a powerful reasoning engine and natural language interfaces...
  • VOWL

  • Referenced in 2 articles [sw25224]
  • Notation for OWL Ontologies (VOWL) is a well-specified visual language for the user-oriented ... most elements of the Web Ontology Language (OWL) that are combined to a force-directed...
  • Fr-ONT

  • Referenced in 2 articles [sw28410]
  • algorithm for frequent conceptmining with formal ontologies. The paper introduces a task of frequent concept ... patterns expressed in standard EL++ description logic language. We also report on the implementation ... theorethical foundation for standard Web ontology language OWL, and description logic concepts correspond ... knowledge intensive applications that exploit formal ontologies...