Structure-Based Partitioning of Large Concept Hierarchies

Stuckenschmidt, Heiner; Klein, Michel

doi:10.1007/978-3-540-30475-3_21

Cited by 130 publications

(89 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Note that, in contrast to the kind of module extraction studied in this paper, the signatures of the desired modules are not given by the user; to the contrary, it is a main purpose of automatic ontology decomposition to reveal the symbols in the ontologies signature that 'belong together' and those that do not. Relevant work in this area can, for example, be found in [62,63,64,65,66].…”

Section: Related Workmentioning

confidence: 99%

Model-theoretic inseparability and modularity of description logic ontologies

Konev

Lutz

Walther

et al. 2013

Artificial Intelligence

View full text Add to dashboard Cite

The aim of this paper is to introduce and study model-theoretic notions of modularity in description logic and related reasoning problems. Our approach is based on a generalisation of logical equivalence that is called modeltheoretic inseparability. Two TBoxes are inseparable w.r.t. a vocabulary Σ if they cannot be distinguished by the Σ-reducts of their models and thus can equivalently be replaced by one another in any application where only vocabulary items from Σ are relevant. We study in-depth the complexity of deciding inseparability for the description logics EL and ALC and their extensions with inverse roles. We then discuss notions of modules of a TBox based on model-theoretic inseparability and develop algorithms for extracting minimal modules from acyclic TBoxes. Finally, we provide an experimental evaluation of our module extraction algorithm based on the large-scale medical TBox Snomed ct.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-theoretic inseparability and modularity of description logic ontologies

Konev

Lutz

Walther

et al. 2013

Artificial Intelligence

View full text Add to dashboard Cite

show abstract

“…Ontology modularization [15,16,8,13,11] is another interesting problem in this field. It attempts to partition one ontology and isolate functional modules.…”

Section: Discussionmentioning

confidence: 99%

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies

et al. 2007

View full text Add to dashboard Cite

Abstract. Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. In general, these proposals reduce the autonomy of each ontology by defining the semantics of the ontology to depend on the semantics of the other ontologies.We propose a new framework for managing autonomy in a set of cooperating ontologies (or ontology space). In this framework, each language entity (concept/role/individual) in an ontology may have its meaning assigned either locally with respect to the semantics of its own ontology, to preserve the autonomy of the ontology, or globally with respect to the semantics of any neighbouring ontology in which it is defined, thus enabling semantic cooperation between multiple ontologies.In this way, each ontology has a "subjective semantics" based on local interpretation and a "foreign semantics" based on semantic binding to neighbouring ontologies. We study the properties of these two semantics and describe the conditions under which entailment and satisfiability are preserved. We also introduce two reasoning mechanisms under this framework: "cautious reasoning" and "brave reasoning". Cautious reasoning is done with respect to a local ontology and its neighbours (those ontologies in which its entities are defined); brave reasoning is done with respect to the transitive closure of this relationship. This framework is independent of ontology languages. As a case study, for Description Logic ALCN we present two tableau-based algorithms for performing each form of reasonings and prove their correctness.

show abstract

“…Researchers have started to address more of the ontology reuse problem. Typically, there are two strands of study: theoretical studies of ontology reusability [3][4][5], and practical studies of ontology reuse [6][7][8]. Previous studies of ontology libraries showed that it was difficult to manage heterogeneous ontologies in simple repositories.…”

Section: Related Workmentioning

confidence: 99%

Reusing ontologies and language components for ontology generation

Lonsdale

Embley

Ding

et al. 2010

Data & Knowledge Engineering

View full text Add to dashboard Cite

Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide useful input for ontology reuse. However, the automated reuse of such ontologies remains underexplored. This paper presents a generic architecture for automated ontology reuse. With our implementation of this architecture, we show the practicality of automating ontology generation through ontology reuse. We experimented with a large generic ontology as a basis for automatically generating domain ontologies that fit the scope of sample natural-language web pages. The results were encouraging, resulting in five lessons pertinent to future automated ontology reuse study.

show abstract

Structure-Based Partitioning of Large Concept Hierarchies

Cited by 130 publications

References 6 publications

Model-theoretic inseparability and modularity of description logic ontologies

Model-theoretic inseparability and modularity of description logic ontologies

Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies

Reusing ontologies and language components for ontology generation

Contact Info

Product

Resources

About