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)…
Fecha:
2004-02-13
Recurso:
MIT
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®