Abstract

Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long before OWL came into existence and lack some features that are essential for SemanticWeb applications, such as reasoning with individuals, querying capabilities, nominal support, elimination of the unique name assumption and so forth. With these objectives in mind we have implemented an OWL DL reasoner and deployed it in various kinds of applications.

Links and resources

Tags

community

  • @haschek
  • @aljsanchez
  • @rgoulart
  • @deynard
  • @dblp
  • @joergh
  • @cbrewster
@rgoulart's tags highlighted