Description Logic Programs: Combining Logic Programs with Description Logic

Description Logic Programs: Combining Logic Programs with Description Logic

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)...

Full description

Bibliographic Details
Main Authors: Grosof, Benjamin, Horrocks, Ian, Volz, Raphael, Decker, Stefan
Format: Working Paper
Language:en_US
Published: 2004
Subjects:
Semantic Web
rules
ontologies
logic programs
Description Logic
knowledge representation
XML
RDF
model-theoretic semantics
inferencing
interoperability
translation
information integration
information technologies
intelligent agents
business process automation
Online Access:http://hdl.handle.net/1721.1/4050

Internet

http://hdl.handle.net/1721.1/4050

Similar Items