Grosof, Benjamin; Horrocks, Ian; Volz, Raphael; Decker, … - Sloan School of Management, Massachusetts Institute of … - 2004
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...