2009 | OriginalPaper | Buchkapitel
Package-Based Description Logics
verfasst von : Jie Bao, George Voutsadakis, Giora Slutzki, Vasant Honavar
Erschienen in: Modular Ontologies
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 particular, we describe a P-DL
${\mathcal SHOIQP}$
that allows the
importing
of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a
${\mathcal SHOIQ}$
ontology).
${\mathcal SHOIQP}$
supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.