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)...
Huvudupphovsmän: | , , , |
---|---|
Materialtyp: | Working Paper |
Språk: | en_US |
Publicerad: |
2004
|
Ämnen: | |
Länkar: | http://hdl.handle.net/1721.1/4050 |