| Authors: |
Benjamin Grosof
and Ian Horrocks
and Raphael Volz
and Stefan Decker
|
| Editors: |
Yih-Farn Robin Chen
and László Kovács
and Steve Lawrence
|
| URL: |
http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html |
| Description: |
This is also the basis for the DLP tractable fragment of owl1.1 |
| Tags: |
descriptionlogic
owl
owl1.1
rules
semanticweb
|
| 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. |
@inproceedings{dlp,
title = {Description Logic Programs: Combining Logic Programming with Description Logic},
address = {New York},
author = {Benjamin Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
booktitle = {Proceedings of the WWW2003 Conference, Budapest, Hungary},
editor = {Yih-Farn Robin Chen and László Kovács and Steve Lawrence},
publisher = {ACM},
url = {http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html},
year = {2003},
description = {This is also the basis for the DLP tractable fragment of owl1.1},
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.},
keywords = {descriptionlogic owl owl1.1 rules semanticweb }
}
::