Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

@inproceedings{Rector2003ModularisationOD,
  title={Modularisation of domain ontologies implemented in description logics and related formalisms including OWL},
  author={A. Rector},
  booktitle={K-CAP '03},
  year={2003}
}
  • A. Rector
  • Published in K-CAP '03 2003
  • Computer Science
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for 'normalisation' to achieve analogous aims are standard for databases. However, no similar notion of normalisation has yet emerged for ontologies. This paper proposes initial criteria for a two-step normalisation of ontologies implemented using OWL or related DL based formalisms. For the first - "ontological normalisation" - we accept Welty and Guarino's analysis. For… Expand
Requirements for Logical Modules
TLDR
A collection of requirements for modularization for ontologies, derived as desiderata in the context of applying modularization to the axiomatization of a top-level ontology, whereas others are determined by analyzing the notion of module in software engineering. Expand
An ontological approach for reliable data integration in the industrial domain
  • S. Borgo
  • Computer Science
  • Comput. Ind.
  • 2014
TLDR
This work study the roots of this problem and individuate a general set of principles to relate the ontology and those non-ontological entities that are yet important for the core business of the company and introduces a theoretically sound and formally robust approach to expand a given ontology with new dependency relations. Expand
ORES-2010 Ontology Repositories and Editors for the Semantic Web
During their lifecycle, ontologies are changed for diverse reasons: their vocabulary is enhanced to enable additional application or annotation possibilities, their expressivity is restricted toExpand
ANEMONE: An environment for modular ontology development
TLDR
This article presents a methodology for modular ontology development that differs from previous methodologies in the way that it defines concrete development steps, to facilitate use by both naive and expert ontology developers. Expand
Reasoning and change management in modular ontologies
TLDR
A heuristic for analyzing changes and their impact on compiled knowledge and guiding the process of updating compiled information that can often reduce the effort of maintaining a modular ontology by avoiding unnecessary re-compilation is proposed. Expand
A Flexible Partitioning Tool for Large Ontologies
  • A. Schlicht, H. Stuckenschmidt
  • Computer Science
  • 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
  • 2008
TLDR
This paper presents a flexible partitioning tool for large ontologies that can be adapted to the needs of different applications based on criteria that the resulting modular ontology should satisfy. Expand
Requirements for Semantic Business Vocabularies and Rules for Transforming Them into Consistent OWL2 Ontologies
TLDR
Rules are suggested that can help creating meaningful SBVR vocabularies regarding consequences of affecting the behavior of ontology reasoners, taking advantages of ontologies and retaining terminological information separately from the main ontology. Expand
An empirically-based framework for ontology modularisation
TLDR
This article surveys the existing literature to identify and populate dimensions of modules, experimentally evaluate and characterise 189 existing modules, and creates a framework for modularity based on these results, which guides the ontology developer throughout the modularisation process. Expand
Will my Ontologies Fit Together?
TLDR
The authors propose a set of reasoning services to check whether, through integration with other ontologies, desirable properties of an ontology have been destroyed, and introduce two ‘integration scenarios’ that, they believe, capture some of the common practices in ontology engineering. Expand
A distributed description of facts in a distributed Semantic Web ontology
TLDR
This paper categorize problems that are encountered while working with ontology modules and describe some of the best known methods of importing data from a source ontology to a target one and introduces a contextual framework that generalizes the approach to the contextualization. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 27 REFERENCES
Reconciling users' needs and formal requirements: issues in developing a reusable ontology for medicine
TLDR
GALEN's experience in using one such formalism raises two major issues, how to make ontologies based on description logics easy to use and understand for both clinicians and applications developers and what features are required of the ontology and description logic if they are to achieve their aims. Expand
Untangling taxonomies and relationships: personal and practical problems in loosely coupled development of large ontologies
TLDR
The GALEN programme has developed a methodology for loosely coupled development using layers of intermediate representations, guidelines and tools which minimises training requirements for domain experts and effort by central knowledge engineers. Expand
Implementing views for light-weight Web ontologies
  • R. Volz, D. Oberle, R. Studer
  • Computer Science
  • Seventh International Database Engineering and Applications Symposium, 2003. Proceedings.
  • 2003
TLDR
This paper presents a view language for the fundamental data models of the Semantic Web, viz. Expand
Towards a methodology for ontology based model engineering
TLDR
This paper discusses the recent work towards developing a methodology for ontology-based model engineering, and demonstrates how these techniques can be used to analyze properties, which clarifies many misconceptions about taxonomies and helps bring substantial order to ontologies. Expand
Ontologies: principles, methods and applications
TLDR
This paper outlines a methodology for developing and evaluating ontologies, first discussing informal techniques, concerning such issues as scoping, handling ambiguity, reaching agreement and producing definitions, and considers, a more formal approach. Expand
Views for light-weight Web ontologies
TLDR
This paper presents a new view mechanism for the data models underlying the Semantic Web, RDF and RDFS and addresses the issue of heterogeneity in the ontologies of these applications. Expand
A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL
TLDR
The paper introduces DAML+OIL and demonstrates the activity within each stage of the methodology and the functionality gained. Expand
Supporting ontological analysis of taxonomic relationships
TLDR
This work has adopted several notions from the philosophical practice of formal ontology, and adapted them for use in information systems, to provide a solid logical framework within which the properties that form a taxonomy can be analyzed. Expand
The GRAIL concept modelling language for medical terminology
TLDR
This paper provides a description and motivation for the GRAIL language and gives examples of the modelling paradigm which it supports and is expected to form the basis for future languages which meet the same requirements but have greater expressiveness and more soundly based semantics. Expand
Using an Expressive Description Logic: FaCT or Fiction?
TLDR
This paper describes a sound and complete tableaux subsumption testing algorithm for a relatively expressive Description Logic which, in spite of the logic’s worst case complexity, has been shown to perform well in realistic applications. Expand
...
1
2
3
...