• DL-learner

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

  • Referenced in 15 articles [sw22920]
  • first ontology reasoner that supports fuzzy extensions of the standard languages ... reasoner but a translator from fuzzy rough ontology languages into classical ontology languages . This allows...
  • DAML+OIL

  • Referenced in 37 articles [sw02445]
  • resources. It builds on earlier W3C standards such as RDF and RDF Schema, and extends ... built from the original DAML ontology language DAML-ONT (October 2000) in an effort...
  • Swoop

  • Referenced in 3 articles [sw24080]
  • based on OWL, the recently standardized Web-oriented ontology language. After discussing the design rationale...
  • Fr-ONT

  • Referenced in 2 articles [sw28410]
  • algorithm for frequent conceptmining with formal ontologies. The paper introduces a task of frequent concept ... algorithm for mining frequent patterns expressed in standard EL++ description logic language. We also report ... logic provides the theorethical foundation for standard Web ontology language OWL, and description logic concepts...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • hence KQML suffices), as long as the ontology of the computational behavior and internal state ... concrete syntax based on the OPENMATH standard, and gives a semantics to communication of mathematical...
  • PR-OWL

  • Referenced in 9 articles [sw22024]
  • language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body of research ... Semantic Web (SW), with new standards being developed and more complex problems being addressed ... have emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means...
  • AIM@SHAPE

  • Referenced in 18 articles [sw04072]
  • goal is to include a variety of standard test cases and benchmarks ... reflected in accompanying metadata specifed by shape ontologies developed by the AIM@SHAPE consortium. Incorporation...
  • CAWICOMS

  • Referenced in 7 articles [sw03155]
  • based on the idea of defining quasi-standards for many-to-many relationships between customers ... development in the research project CAWICOMS. An ontology-based approach allows the advertisement of services ... operational processes. However, the lack of standards for the semantic annotation of Web services...
  • Adimen-SUMO

  • Referenced in 3 articles [sw36071]
  • Adimen-SUMO to the area of ontological formal reasoning is threefold. Firstly, we translated SUMO ... from its original format into the standard first order language. Secondly, we used first-order ... provers as inference engines for debugging the ontology. Thus, we detected and repaired several significant...
  • Sonic

  • Referenced in 3 articles [sw17515]
  • first prototype implementation of non-standard inferences for Description Logics usable via a graphical user ... services via an extension of the graphical ontology editor OilEd...
  • HPOSim

  • Referenced in 1 article [sw16935]
  • controlled vocabulary. The Human Phenotype Ontology (HPO) provides a standardized and controlled vocabulary covering phenotypic ... implemented, including hypergeometric enrichment analysis and network ontology analysis (NOA). Conclusions: HPOSim can be used...
  • MoMo

  • Referenced in 1 article [sw10022]
  • which are at present the standard formalism for building ontologies. With MoMo, students can construct...
  • FAME

  • Referenced in 3 articles [sw26270]
  • standard reasoning service that seeks to create restricted views of ontologies by eliminating concept...
  • InnateDB

  • Referenced in 2 articles [sw29345]
  • data using Proteomics Standards Initiative Common Query Interface, enhanced Gene Ontology analysis for innate immunity...
  • BioCaster

  • Referenced in 3 articles [sw37065]
  • contained in the freely available BioCaster ontology which includes information in eight languages focused ... gold standard corpus of annotated news articles. Availability: The BioCaster map and ontology are freely...
  • DRAGO

  • Referenced in 3 articles [sw15032]
  • framework for representation of multiple semantically connected ontologies, we define a sound and complete distributed ... which is built as an extension to standard Description Logic tableau. Finally, the paper describes ... Distributed Reasoning Architecture for a Galaxy of Ontologies), that implements such distributed decision procedure...
  • BayGO

  • Referenced in 2 articles [sw20342]
  • ontology terms in a list of genes obtained from microarray experiments is becoming a standard ... focussing on classification designs such as Gene Ontology, KEGG pathways, and so on, instead...
  • COROR

  • Referenced in 2 articles [sw12479]
  • Ontology Language) reasoning has been extensively studied since its standardization by W3C. While the prevailing...
  • OntoStudio

  • Referenced in 1 article [sw30414]
  • personal needs. As ontology-languages OntoStudio supports W3C-standards OWL, RDF, and RDFS...