Add to ORKGThe benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to local containment of terminological reasoning. We define an architecture for modular ontologies that supports local reasoning by compiling implied subsumption relations. We further address the problem of guaranteeing the integrity of a modular ontology in the presence of local changes. We propose a strategy for analyzing changes and guiding the process of updating compiled information
We develop a formal framework for modular ontologies by analysing four notions of conservative exte...
Construction of modular ontologies by combining different modules is becoming a necessity in ontolo...
In the past 10 years, modularity has been established as a central research topic in ontology engine...
The benefits of modular representations are well known from many areas of computer science. In this ...
The benefits of modular representations are well known from many areas of computer science. While in...
The goal of my ongoing work is to provide an archi-tecture for developing and manipulating modular o...
Mappings between ontologies are easily harmed by changes in the ontologies. In this paper we explain...
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In o...
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology ...
International audienceIn this paper we address the principle of modularity of ontologies in descript...
In this paper, we compare various formalisms that have been recently introduced or used for distrib-...
Many real world applications of ontologies call for reasoning with modular ontologies. We describe a...
As large monolithic ontologies are difficult to handle and maintain, the activity of modularizing an...
In this work we address the problem of contracting terminological axioms in description logics. We p...
We investigate a formalism for reasoning with multiple local ontologies, connected by directional se...
We develop a formal framework for modular ontologies by analysing four notions of conservative exte...
Construction of modular ontologies by combining different modules is becoming a necessity in ontolo...
In the past 10 years, modularity has been established as a central research topic in ontology engine...
The benefits of modular representations are well known from many areas of computer science. In this ...
The benefits of modular representations are well known from many areas of computer science. While in...
The goal of my ongoing work is to provide an archi-tecture for developing and manipulating modular o...
Mappings between ontologies are easily harmed by changes in the ontologies. In this paper we explain...
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In o...
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology ...
International audienceIn this paper we address the principle of modularity of ontologies in descript...
In this paper, we compare various formalisms that have been recently introduced or used for distrib-...
Many real world applications of ontologies call for reasoning with modular ontologies. We describe a...
As large monolithic ontologies are difficult to handle and maintain, the activity of modularizing an...
In this work we address the problem of contracting terminological axioms in description logics. We p...
We investigate a formalism for reasoning with multiple local ontologies, connected by directional se...
We develop a formal framework for modular ontologies by analysing four notions of conservative exte...
Construction of modular ontologies by combining different modules is becoming a necessity in ontolo...
In the past 10 years, modularity has been established as a central research topic in ontology engine...