![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Kee** Secrets in \(\mathcal {EL}^{+}\) Knowledge Bases
In this paper we study Secrecy-Preserving Query Answering problem under Open World Assumption (OWA) for \(\mathcal {EL}^+\) ...
-
Chapter and Conference Paper
Secrecy-Preserving Query Answering for Instance Checking in \(\mathcal{EL}\)
We consider the problem of answering queries against an \(\mathcal{EL}\) knowledge base (KB) using secrets, whenever it is possib...
-
Chapter
Package-Based Description Logics
We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In partic...