B. Parsia, and E. Sirin. 3rd International Semantic Web Conference (ISWC2004), (2004)
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.
%0 Conference Paper
%1 Parsia2004
%A Parsia, Bijan
%A Sirin, Evren
%B 3rd International Semantic Web Conference (ISWC2004)
%D 2004
%K dl semantic-web
%T Pellet: An OWL DL Reasoner
%X 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.
@inproceedings{Parsia2004,
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.},
added-at = {2007-10-10T21:16:28.000+0200},
author = {Parsia, Bijan and Sirin, Evren},
biburl = {https://www.bibsonomy.org/bibtex/20eae92ec4d7f7500ec90b8e38aa569cc/rgoulart},
booktitle = {3rd International Semantic Web Conference (ISWC2004)},
citeulike-article-id = {344196},
interhash = {1df4131f52d193e41169618fdf053341},
intrahash = {0eae92ec4d7f7500ec90b8e38aa569cc},
keywords = {dl semantic-web},
priority = {0},
timestamp = {2007-10-10T21:16:29.000+0200},
title = {Pellet: An OWL DL Reasoner},
year = 2004
}