Beth Definability in Expressive Description Logics

Beth Definability in Expressive Description Logics

The Beth definability property, a well-known property from classical logic, is investigated in the context of description logics (DLs): if a general L TBox implicitly defines an L -concept in terms of a given signature, where L is a DL, then does there always exist over this signature an explicit definition in L for the concept? This property has been studied before and used to optimize reasoni...

Beth Definability in Institutions

BETH DEFINABILITY IN INSTITUTIONS MARIUS PETRIA∗ AND RĂZVAN DIACONESCU Abstract. This paper studies definability within the theory of institutions, a version of abstract model This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definab...

Reasoning in Expressive Description Logics

Datalog and Description Logics : Expressive

Recently there was some attention on integration of description logics of the AL-family with rule-based languages for querying rela-tional databases such as Datalog, so as to achieve the best characteristics of both kinds of formalisms in a common framework. Formal analysis on such hybrid languages has been limited to computational complexity: i.e., how much time/space it is needed to answer to...

Conservative Extensions in Expressive Description Logics

The notion of a conservative extension plays a central role in ontology design and integration: it can be used to formalize ontology refinements, safe mergings of two ontologies, and independent modules inside an ontology. Regarding reasoning support, the most basic task is to decide whether one ontology is a conservative extension of another. It has recently been proved that this problem is de...