Evolution of DL − Lite Knowledge Bases
… concentrate our technical development on the DLLite family [12], which is at the basis of OWL
… -based approaches for the logics of the DL-Lite family: besides the fact that evolution under …
… -based approaches for the logics of the DL-Lite family: besides the fact that evolution under …
On the evolution of the instance level of DL-Lite knowledge bases
M Lenzerini, DF Savo - arXiv preprint arXiv:1104.4053, 2011 - arxiv.org
… work on formulabased updates developed in the ’… evolution of the instance level knowledge
bases expressed in DL-LiteA,id, which the most expressive Description Logics of the DL-Lite …
bases expressed in DL-LiteA,id, which the most expressive Description Logics of the DL-Lite …
On expansion and contraction of DL-Lite knowledge bases
D Zheleznyakov, E Kharlamov, W Nutt… - Journal of Web …, 2019 - Elsevier
… of DL - Lite . In Section 5, we apply formula-based approaches to DL - Lite evolution and …
show that for ABox evolution all formula-based semantics coincide for DL - Lite and that this …
show that for ABox evolution all formula-based semantics coincide for DL - Lite and that this …
Trust-sensitive evolution of DL-Lite knowledge bases
D Zheleznyakov, E Kharlamov, I Horrocks - Proceedings of the AAAI …, 2017 - ojs.aaai.org
… evolution is a set of interpretations and thus two core problems for MBAs are closure, ie,
whether evolution … We show that DL-Lite is not closed under a wide range of trust-sensitive MBAs…
whether evolution … We show that DL-Lite is not closed under a wide range of trust-sensitive MBAs…
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
E Kharlamov, D Zheleznyakov, D Calvanese - Journal of Computer and …, 2013 - Elsevier
… DL-Lite family, which we consider here, it has been shown that one faces inexpressibility of
evolution, ie, the result of evolution of a DL-Lite … of ABox evolution of DL knowledge bases, …
evolution, ie, the result of evolution of a DL-Lite … of ABox evolution of DL knowledge bases, …
A new approach to knowledge base revision in DL-Lite
… In this paper, we study general KBs in a specific DL in the DL-Lite family. We introduce the
… to consider applications of our revision operator for ontology evolution in the Semantic Web. …
… to consider applications of our revision operator for ontology evolution in the Semantic Web. …
[PDF][PDF] Evolution of DL− Lite Knowledge Bases
E Kharlamov, D Zheleznyakov - 2010 - cs.ox.ac.uk
… our technical development on the DL-Lite family [12], which is at the basis of OWL 2 QL, one
… -based approaches for the logics of the DL-Lite family: besides the fact that evolution under …
… -based approaches for the logics of the DL-Lite family: besides the fact that evolution under …
Capturing instance level ontology evolution for DL-Lite
E Kharlamov, D Zheleznyakov - International Semantic Web Conference, 2011 - Springer
… This makes it necessary to study evolution of Knowledge Bases [2], where the goal is to
incorporate new knowledge N into an existing KB K so as to take into account changes that …
incorporate new knowledge N into an existing KB K so as to take into account changes that …
[PDF][PDF] Revision of DL-Lite Knowledge Bases.
… We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). …
data, the DL-Lite family has proved to be an appealing formalism for ontology development. A …
data, the DL-Lite family has proved to be an appealing formalism for ontology development. A …
Logic-based ontology comparison and module extraction, with an application to DL-Lite
… respective applications for ontology development and maintenance discussed… based data
access. The reasoning services required in this context include the traditional knowledge base …
access. The reasoning services required in this context include the traditional knowledge base …
Похожие запросы
- dl lite knowledge bases instance level
- knowledge base completion
- dl lite ontology evolution
- tractable probabilistic knowledge bases
- probabilistic knowledge bases rule learning
- description logics knowledge bases
- integrity constraints knowledge bases
- learning and inference knowledge bases
- dl lite instance level