%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 }