Abstract
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full FOL can potentially be used instead of dedicated DL reasoners to solve OWL DL reasoning tasks. In this paper we report on some experiments designed to explore the feasibility of using existing general-purpose FOL provers to reason with OWL DL. We also extend our approach to SWRL, a proposed rule language extension to OWL. © Springer-Verlag 2004.
Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci. |
Publisher | Springer Nature |
Pages | 471-485 |
Number of pages | 14 |
Volume | 3298 |
Publication status | Published - 2004 |
Event | The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/semweb/iswc2004.html#TsarkovRBH04http://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04 |
Publication series
Name | Lecture Notes in Computer Science |
---|
Conference
Conference | The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings |
---|---|
Period | 1/01/24 → … |
Internet address |