Description logic programs
Published • Jan 1, 2003
NobleIDNI2P84W61R72S71
Authors:,,
Benjamin N. Grosof
Ian Horrocks
Raphael Volz
Abstract
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) ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!