We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.

OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web

Jos de Bruijn and Dieter Fensel and Rubén Lara and Axel Polleres
Publishing Date:

The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has a number of problems in the area of interoperability and usability in the context of many practical application scenarios which impede the connection to the Software Engineering and Database com- munities. In this paper we present OWL Flight, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style common in databases. This results in di®erent types of modeling primitives and enforces a di®erent style of ontology modeling. In this paper we analyze the modeling paradigms of OWL DL and OWL Flight, as well as reasoning tasks supported by both languages. We argue that di®erent applications on the Semantic Web require di®erent styles of modeling and thus both types of languages are required for the Semantic Web.