Description Logic Programs: Combining Logic Programs with Description Logic (2003)
Cached
Download Links
- [ebusiness.mit.edu]
- [www.daml.org]
- [www.daml.org]
- [www.mit.edu]
- [www.mit.edu]
- [www.cs.man.ac.uk]
- [www.cs.man.ac.uk]
- [www.comlab.ox.ac.uk]
- [www.mit.edu]
- [www.mit.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 341 - 33 self |
BibTeX
@INPROCEEDINGS{Grosof03descriptionlogic,
author = {Benjamin N. Grosof},
title = {Description Logic Programs: Combining Logic Programs with Description Logic},
booktitle = {},
year = {2003},
pages = {48--57},
publisher = {ACM}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 RDFSchema fragment of Description Logic.
