We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description
Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a significant degree of expressiveness, substantially greater
than the RDF-Schema fragment of Description Logic.
Description
This is also the basis for the DLP tractable fragment of owl1.1
%0 Conference Paper
%1 dlp
%A Grosof, Benjamin
%A Horrocks, Ian
%A Volz, Raphael
%A Decker, Stefan
%B Proceedings of the WWW2003 Conference, Budapest, Hungary
%C New York
%D 2003
%E Chen, Yih-Farn Robin
%E Kovács, László
%E Lawrence, Steve
%I ACM
%K dlp ontology
%T Description Logic Programs: Combining Logic Programming with Description Logic
%U http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html
%X We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description
Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a significant degree of expressiveness, substantially greater
than the RDF-Schema fragment of Description Logic.
@inproceedings{dlp,
abstract = {We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description
Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL) which is an expressive fragment of first-order logic (FOL). DLP provides a significant degree of expressiveness, substantially greater
than the RDF-Schema fragment of Description Logic.},
added-at = {2008-04-05T14:15:17.000+0200},
address = {New York},
author = {Grosof, Benjamin and Horrocks, Ian and Volz, Raphael and Decker, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/280f4195663781ec031df1adca4523ee6/aljsanchez},
booktitle = {Proceedings of the WWW2003 Conference, Budapest, Hungary},
description = {This is also the basis for the DLP tractable fragment of owl1.1},
editor = {Chen, Yih-Farn Robin and Kovács, László and Lawrence, Steve},
interhash = {982cb84aba697740eda2d5c89ac82e5d},
intrahash = {80f4195663781ec031df1adca4523ee6},
keywords = {dlp ontology},
publisher = {ACM},
timestamp = {2008-04-05T14:15:17.000+0200},
title = {Description Logic Programs: Combining Logic Programming with Description Logic},
url = {http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html},
year = 2003
}