Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies

From International Center for Computational Logic

Toggle side column

Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies

Franz BaaderFranz Baader,  Martin KnechtelMartin Knechtel,  Rafael PeñalozaRafael Peñaloza
Franz Baader, Martin Knechtel, Rafael Peñaloza
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Journal of Web Semantics, 12--13:22-40, 2012
  • KurzfassungAbstract
    The framework developed in this paper can deal with scenarios where selected sub-ontologies of a large ontology are offered as views to users, based on contexts like the access rights of a user, the trust level required by the application, or the level of detail requested by the user. Instead of materializing a large number of different sub-ontologies, we propose to keep just one ontology, but equip each axiom with a label from an appropriate context lattice. The different contexts of this ontology are then also expressed by elements of this lattice. For large-scale ontologies, certain consequences (like the subsumption hierarchy) are often pre-computed. Instead of pre-computing these consequences for every context, our approach computes just one label (called a boundary) for each consequence such that a comparison of the user label with the consequence label determines whether the consequence follows from the sub-ontology determined by the context. We describe different black-box approaches for computing boundaries, and present first experimental results that compare the efficiency of these approaches on large real-world ontologies. Black-box means that, rather than requiring modifications of existing reasoning procedures, these approaches can use such procedures directly as sub-procedures, which allows us to employ existing highly-optimized reasoners. Similar to designing ontologies, the process of assigning axiom labels is error-prone. For this reason, we also address the problem of how to repair the labelling of an ontology in case the knowledge engineer notices that the computed boundary of a consequence does not coincide with her intuition regarding in which context the consequence should or should not be visible.
  • Bemerkung: Note: Available at http://dx.doi.org/10.1016/j.websem.2011.11.006
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaKP-JWS12,
  author = {Franz {Baader} and Martin {Knechtel} and Rafael {Pe{\~n}aloza}},
  journal = {Journal of Web Semantics},
  note = {Available at http://dx.doi.org/10.1016/j.websem.2011.11.006},
  pages = {22--40},
  title = {Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies},
  volume = {12--13},
  year = {2012},
}