Web Development and Design White Papers
Description Logic Programs: Combining Logic Programs With Description Logic
Overview This paper shows 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, this paper defines 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.
| Publisher | ACM | File Format | PDF, requires Acrobat Rdr 5 |
|---|---|---|---|
| Date Published | May 2003 | Downloads | 6 |
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 1 out of 1 users found this white paper useful
White Paper RSS
Download
Register
