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 beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Grosof, Benjamin, Horrocks, Ian, Volz, Raphael, Decker, Stefan
Materialtyp: Working Paper
Språk:en_US
Publicerad: 2004
Ämnen:
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
Länkar:http://hdl.handle.net/1721.1/4050

Internet

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

Liknande verk