(RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so … enables one to "build rules on top of ontologies": it enables the rule KR to have access to DL ontological definitions for … likewise enables one to "build ontologies on top of rules": it enables ontological definitions to be supplemented by rules, or …

the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML …+OIL (the close predecessor of W3C's OWL, the emerging standard for Semantic Web ontologies), thereby enabling more complex … (RuleML) with ontologies (DAML+OIL/OWL) with each other, and moreover for a practical e-business application domain, and …