AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Expressive Description Logic with Instantiation Metamodelling
Petra Kubincová, Ján Kľuka, Martin Homola

Last modified: 2016-03-30


We investigate a higher-order extension of the description logic (DL) SROIQ that provides a fixedly interpreted role semantically coupled with instantiation. It is useful to express interesting meta-level constraints on the modelled ontology. We provide a model-theoretic characterization of the semantics, and we show the decidability by means of reduction.


description logics; higher-order logic; metamodelling

Full Text: PDF