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:
Länkar:http://hdl.handle.net/1721.1/4050