Research Highlights

Combining Rules with Ontologies in the Semantic Web

A key challenge posed to the Semantic Web stack, identified by the W3C, is how to combine ontology languages for describing concepts and roles, such as the Ontology Web Language OWL, with rule languages, as in the Rule Interchange Format RIF. We introduced a new semantics for KBs combining rules and ontologies, so-called Hybrid Knowledge Base, with much better complexity results than the prior state-of-the art, and devised query-driven procedures for such semantics. We also developed the associated tool NoHR, currently the only reasoner available combining OWL ontologies with rules, and which has been integrated in the commonly used Protégé platform (Stanford).

Read more >