Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

Abstract Query answering over Description Logic (DL) ontologies has become a vibrant field
of research. Efficient realizations often exploit database technology and rewrite a given …

Exchanging computer-aided design (CAD) model data among heterogeneous CAD systems
is indispensable for collaborative product development. Currently, the industry mainly uses …

We propose a description-logic style extension of OWL 2 with nominal schemas which can
be used like" variable nominal classes" within axioms. This feature allows ontology …

Consequence-based ontology reasoning procedures have so far been known only for Horn
ontology languages. A difficulty in extending such procedures is that non-Horn axioms seem …

The high computational complexity of the expressive Description Logics (DLs) that underlie
the OWL standard has motivated the study of their Horn fragments, which are usually …

Logics (DLs) play a central role as formalisms for representing ontologies and reasoning
about them. This lecture introduces the basics of DLs. We discuss the knowledge modeling …

Abstract Ontologies based on Description Logics may contain errors, which are usually
detected when reasoning produces consequences that follow from the ontology, but do not …

State constraints in AI Planning globally restrict the legal environment states. Standard
planning languages make closed-domain and closed-world assumptions. Here we address …