On the Complexity of Semantic Integration of OWL Ontologies

Autor: Kazakov, Yevgeny, Ponomaryov, Denis

We propose a new mechanism for integration of OWL ontologies using semantic import relations. In contrast to the standard OWL importing, we do not require all axioms of the imported ontologies to be taken into account for reasoning tasks, but only th

Externí odkaz: http://arxiv.org/abs/1705.04719

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

Autor: Kazakov, Yevgeny, Pratt-Hartmann, Ian

Publikováno v: Proceedings, 24th Annual IEEE Symposium on Logic in Computer Science (LICS '09), IEEE Press, 2009, pp. 407--416

Graded modal logic is the formal language obtained from ordinary (propositional) modal logic by endowing its modal operators with cardinality constraints. Under the familiar possible-worlds semantics, these augmented modal operators receive interpret

Externí odkaz: http://arxiv.org/abs/0905.3108

Scalable Reasoning by Abstraction Beyond DL-Lite.

Autor: Glimm, Birte, Kazakov, Yevgeny, Tran, Trung-Kien

Publikováno v: Web Reasoning & Rule Systems (9783319452753); 2016, p77-93, 17p

Goal-Directed Tracing of Inferences in EL Ontologies.

Autor: Kazakov, Yevgeny, Klinov, Pavel

Publikováno v: Semantic Web - ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II; 2014, p196-211, 16p

Incremental Reasoning in OWL EL without Bookkeeping.

Autor: Kazakov, Yevgeny, Klinov, Pavel

Publikováno v: Semantic Web - ISWC 2013: Part I; 2013, p232-247, 16p