Add to ORKGDeciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, module extraction, knowledge exchange and forgetting. We study the combined and data complexity of this inseparability problem for fragments of Horn-ALCHI, including the description logics underpinning OWL 2 QL and OWL 2 EL
Knowledge base exchange is an important problem in the area of data exchange and knowledge represent...
Abstract. We study the problem of evolution for Knowledge Bases (KBs) ex-pressed in Description Logi...
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a g...
Deciding inseparability of description logic knowl-edge bases (KBs) with respect to conjunctive quer...
Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queri...
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with...
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with...
We consider conjunctive query inseparability of description logic knowledge bases with respect to a ...
Abstract. We investigate conjunctive query inseparability of description logic knowledge bases (KBs)...
We consider conjunctive query inseparability of description logic knowledge bases with respect to a ...
The OWL 2 profile OWL 2 QL, based on the DL-Lite family of description logics, is emerging as a majo...
Finding an appropriate semantics for task of updating an inconsistent knowledge base is a challengin...
We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider...
International audienceAn important issue that arises when querying description logic (DL) knowledge ...
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by mean...
Knowledge base exchange is an important problem in the area of data exchange and knowledge represent...
Abstract. We study the problem of evolution for Knowledge Bases (KBs) ex-pressed in Description Logi...
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a g...
Deciding inseparability of description logic knowl-edge bases (KBs) with respect to conjunctive quer...
Deciding inseparability of description logic knowledge bases (KBs) with respect to conjunctive queri...
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with...
We investigate conjunctive query inseparability of description logic (DL) knowledge bases (KBs) with...
We consider conjunctive query inseparability of description logic knowledge bases with respect to a ...
Abstract. We investigate conjunctive query inseparability of description logic knowledge bases (KBs)...
We consider conjunctive query inseparability of description logic knowledge bases with respect to a ...
The OWL 2 profile OWL 2 QL, based on the DL-Lite family of description logics, is emerging as a majo...
Finding an appropriate semantics for task of updating an inconsistent knowledge base is a challengin...
We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider...
International audienceAn important issue that arises when querying description logic (DL) knowledge ...
We investigate the problem whether two ALC ontologies are indistinguishable (or inseparable) by mean...
Knowledge base exchange is an important problem in the area of data exchange and knowledge represent...
Abstract. We study the problem of evolution for Knowledge Bases (KBs) ex-pressed in Description Logi...
We investigate the problem whether two ALC knowledge bases are indistinguishable by queries over a g...