We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules … enables one to "build rules on top of ontologies": it enables the rule KR to have access to DL ontological definitions for … vocabulary primitives (e.g., predicates and individual constants) used by the rules. Conversely, the DLP-fusion technique …

logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend … process designers. Our system is the first to combine emerging Semantic Web standards for knowledge representation of rules …