• BioPortal

  • Referenced in 12 articles [sw22917]
  • language processing and decision support. BioPortal (http://bioportal.bioontology.org) is an open repository of biomedical ontologies ... access via Web services and Web browsers to ontologies developed in OWL, RDF, OBO format...
  • DL-learner

  • Referenced in 7 articles [sw14439]
  • this language can be learned for constructing and maintaining OWL ontologies or for solving problems ... includes several learning algorithms, support for different OWL formats, reasoner interfaces, and learning problems ... well as a WSDL-based web service...
  • KAoS

  • Referenced in 3 articles [sw08864]
  • services framework based on W3C’s OWL ontology language. KAoS was developed in response...
  • Konclude

  • Referenced in 8 articles [sw12474]
  • 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 ... applications that use the OWL API, the OWLlink OWL API Adapter can be used ... reasoning engine offers the most common reasoning services such as classification, realisation, queries...
  • Aber-OWL

  • Referenced in 2 articles [sw16929]
  • Web Ontology Language (OWL). Computational access to the knowledge contained within these ontologies relies ... OWL infrastructure that provides reasoning services for bio-ontologies. Aber-OWL consists of an ontology ... repository, a set of web services and web interfaces that enable ontology-based semantic access...
  • OntoStudio

  • Referenced in 1 article [sw30414]
  • personal needs. As ontology-languages OntoStudio supports W3C-standards OWL, RDF, and RDFS ... databases, documents, file-systems, applications and web-services. A free evaluation license is available...
  • WordNet

  • Referenced in 391 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SMIL

  • Referenced in 41 articles [sw03378]
  • This document specifies the third version of the...
  • UDDI

  • Referenced in 6 articles [sw03384]
  • Importing the semantic web in UDDI The web...
  • PVS

  • Referenced in 609 articles [sw03484]
  • PVS is a verification system: that is, a...
  • YAWL

  • Referenced in 60 articles [sw04388]
  • YAWL (Yet Another Workflow Language) is a workflow...
  • Maude

  • Referenced in 657 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Pellet

  • Referenced in 92 articles [sw07019]
  • Pellet: OWL 2 Reasoner for Java. For applications...
  • SPARQL

  • Referenced in 123 articles [sw07429]
  • Federation and navigation in SPARQL 1.1. SPARQL is...
  • Linda

  • Referenced in 102 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...
  • FaCT++

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

  • Referenced in 65 articles [sw09837]
  • Racer is a knowledge representation system that implements...
  • Z

  • Referenced in 276 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • Jena

  • Referenced in 52 articles [sw10685]
  • Search RDF data with SPARQL: SPARQL and the...