Filters








5,617 Hits in 5.1 sec

Formalizing Ontology Modularization through the Notion of Interfaces [chapter]

Faezeh Ensan
Lecture Notes in Computer Science  
In this paper, we propose a new formalism for modular ontologies, which exploits the notion of interfaces as well as epistemic queries.  ...  In the proposed formalism, each ontology module both employs and realizes two distinct sets of interfaces.  ...  Formalizing Interface-Based Modular Ontologies In this section, we introduce the formalization of modular ontologies based on the notion of interfaces.  ... 
doi:10.1007/978-3-540-87696-0_9 fatcat:3el5zzaytba4hjbp5jtxweaxrq

An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation [chapter]

Faezeh Ensan, Weichang Du
2008 Lecture Notes in Computer Science  
In this paper, we present a framework for developing ontologies in a modular manner, which is based on the notions of interfaces and knowledge encapsulation.  ...  We describe the interface-based modular ontology formalism, which theoretically supports this framework and present its distinctive features compared to the exiting modular ontology formalisms.  ...  Through the interface-based modular ontology formalism, a 'modular ontology' is defined as a set of 'ontology modules' (modules) and 'interfaces'.  ... 
doi:10.1007/978-3-540-88564-1_33 fatcat:hbcwahqgard2dpyuo35gtng26m

A knowledge encapsulation approach to ontology modularization

Faezeh Ensan, Weichang Du
2010 Knowledge and Information Systems  
In this paper, we introduce a framework for developing ontologies in a modular manner. We describe the interface-based modular ontology formalism, (IBF), which theoretically supports the framework.  ...  The notion of modularity can be employed for developing more efficient ontologies, especially in distributed environments.  ...  We are planning to propose a methodology that helps ontology engineers develop modular ontologies based on the interface-based framework.  ... 
doi:10.1007/s10115-009-0279-y fatcat:ghd4kx6asjhj5cuvpoziwtuogm

A Resource Discovery Framework for Semantic Grids Based on the Interface-Based Modular Ontology Formalism

Faezeh Ensan, Alireza Ensan, Weichang Du
2008 2008 Fourth International Conference on Semantics, Knowledge and Grid  
We exploit interface-based modular ontology formalism whose through ontologies can be described and be accessed by a set of interfaces.  ...  In this paper we propose a resource discovery framework for semantic grids using the notion of modular ontologies.  ...  The interface-based modular ontology formalism is a new designed formalism for creating modular ontologies.  ... 
doi:10.1109/skg.2008.73 dblp:conf/skg/EnsanED08 fatcat:nw5xb663irgrxajdlq3zbsy3n4

Organization and Management of Large Categorical Systems [chapter]

Frank Loebe
2010 Theory and Applications of Ontology: Computer Applications  
The main part presents the state of the art of the modularization of logical theories with an ontology-related background.  ...  In particular, we briefly review the transition from terminologies to ontologies that are formalized in logics, exemplified in the medical domain.  ...  acknowledge the members of the research group Onto-Med at the University of Leipzig for maintaining a lively and inspiring atmosphere.  ... 
doi:10.1007/978-90-481-8847-5_3 fatcat:jixkbdymybfvtpq4awavfvuura

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

Alan L. Rector
2003 Proceedings of the international conference on Knowledge capture - K-CAP '03  
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.  ...  INTRODUCTION This paper aims to begin the discussion of methodologies for normalizing ontologies implemented in description logics and related formalisms such as OWL 1 to achieve modularity and easy evolution  ... 
doi:10.1145/945649.945664 fatcat:iiknejtvoza3li363p6b3xnwra

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

Alan L. Rector
2003 Proceedings of the international conference on Knowledge capture - K-CAP '03  
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.  ...  INTRODUCTION This paper aims to begin the discussion of methodologies for normalizing ontologies implemented in description logics and related formalisms such as OWL 1 to achieve modularity and easy evolution  ... 
doi:10.1145/945645.945664 dblp:conf/kcap/Rector03 fatcat:rhk653tmazfpxjlgmpifg376bu

Modular Ontological Warehouse for Adaptative Information Search [chapter]

Nesrine Ben Mustapha, Marie-Aude Aufaure, Hajer Baazaoui Zghal, Henda Ben Ghezala
2012 Lecture Notes in Computer Science  
In this paper, we address the problem of representing modular ontologies at an abstract level that can improve the traditional information system with higher efficiency, in the context of previous work  ...  Thus, introducing modularity paradigm in ontology engineering is now important to tackle scalability problems.  ...  Section 4 describe the main statements of the graph-based formalism of modular ontologies.  ... 
doi:10.1007/978-3-642-33609-6_9 fatcat:2jvvo6wxubgfjb3cacx3stb62i

Software Conceptual Integrity: Deconstruction, Then Reconstruction [article]

Iaakov Exman
2018 arXiv   pre-print
Conceptualization and Modularization, iteratively applied during software system design; second, to show that the algebraic Linear Software Models already provide the hitherto lacking formalization of  ...  The tension stems from the Modularity Matrix linking two very different kinds of entities - system concepts and abstract mathematical constructs - as seldom linked before.  ...  Acknowledgments The author wishes to thank Alessio Plebe from the University of Messina, Italy, and Gonzalo Genova from the University Carlos III of Madrid, Spain, for their incisive and helpful comments  ... 
arXiv:1811.04315v1 fatcat:ox3baelpvjet7ngky3zroqtazy

Embeddings of Simple Modular Extended RDF [chapter]

Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou
2010 Lecture Notes in Computer Science  
In this paper we exploit the use of the Modular Web framework to specify the modular semantics for Extended Resource Description Framework ontologies.  ...  In parallel, the Modular Web framework enables collaborative and controlled reasoning in the Semantic Web.  ...  Semantics of Modular ERDF Ontologies in MWeb In this section we specify the semantics of ERDF entailment through MWeb rulebases.  ... 
doi:10.1007/978-3-642-15918-3_17 fatcat:5lzmxjq5b5dm3p6rroawr5tu3e

Engineering use cases for modular development of ontologies in OWL

Alan L. Rector, Sebastian Brandt, Nick Drummond, Matthew Horridge, Colin Puleston, Robert Stevens
2012 Applied Ontology  
This paper presents use cases for modular development of ontologies using the OWL imports mechanism. Many of the methods are inspired by work in modular development in software engineering.  ...  There are four groups of use cases: (i) organisation and factoring of ontologies; (ii) maintaining stable interfaces and bindings between ontologies and between ontologies and software; (iii) localization  ...  The collaboration of the members of the Ontologies for Clinical Research (OCRe) consortium and the WHO ICD-11 Health Information Modelling Topic Advisory Group (HIM-TAG) is gratefully acknowledged.  ... 
doi:10.3233/ao-2012-0107 dblp:journals/ao/RectorBDHPS12 fatcat:v62yihw4bre7nbemcgykph6ivm

Inconsistency Management for Description Logic Programs and Beyond [chapter]

Thomas Eiter, Michael Fink, Daria Stepanova
2013 Lecture Notes in Computer Science  
Description logic programs are a declarative approach to access ontological knowledge bases through a query interface, and to combine the query results using rules that can be nonmonotonic.  ...  Noticeably, a bidirectional information flow between the rules and the ontology is supported, which opens the possibility of sophisticated data exchange and advanced reasoning tasks on top of ontologies  ...  Among them are nonmonotonic description logic programs (briefly dl-programs) [4] , which provide a declarative approach to access ontologies through a query interface and to combine the query results  ... 
doi:10.1007/978-3-642-39666-3_1 fatcat:soap77utd5fztmjjczc4fkqcli

Multi-level networked knowledge: representation and DL-reasoning

Sihem Klai, Antoine Zimmermann, Mohamed Tarek Khadir
2016 International Journal of Metadata, Semantics and Ontologies  
Ontology alignments make explicit the correspondences between terms from different ontologies and must be taken into account in reasoning.  ...  This semantic consists of reducing reasoning on networked knowledge to reasoning over DL formalisms for which we have reasoning procedures.  ...  In the same manner, (Ensan and Du, 2011) propose a modular ontology formalism based on interfaces (Interface-Based modular Ontology Formalism or IBF).  ... 
doi:10.1504/ijmso.2016.078101 fatcat:wyopbzvgmjcgxjitzpigyamyui

Ontohub: A semantic repository for heterogeneous ontologies [article]

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2016 arXiv   pre-print
Ontohub supports a wide range of formal logical and ontology languages, as well as various structuring and modularity constructs and inter-theory (concept) mappings, building on the OMG-standardized DOL  ...  Moreover, Ontohub is the first repository engine meeting a substantial amount of the requirements formulated in the context of the Open Ontology Repository (OOR) initiative, including an API for federation  ...  All these notions are part of the DOL ontology.  ... 
arXiv:1612.05028v1 fatcat:lbdztzlwgnclvnd3czvmd4naa4

Modular ontology modeling

Cogan Shimizu, Karl Hammar, Pascal Hitzler, Sabrina Kirrane, Axel-Cyrille Ngonga Ngomo
2022 Semantic Web Journal  
In order to address these concerns, we have developed the Modular Ontology Modeling (MOMo) methodology, and its supporting tooling infrastructure, CoModIDE (the Comprehensive Modular Ontology IDE – "commodity  ...  MOMo builds on the established eXtreme Design methodology, and like it emphasizes modular development and design pattern reuse; but crucially adds the extensive use of graphical schema diagrams, and tooling  ...  We have also added functionality to assist in navigating a complex pattern space through the notion of interfaces. That is, categorizing patterns based on the roles that they may play.  ... 
doi:10.3233/sw-222886 fatcat:m3fawvtfvvf2nb4fsg36dyzfa4
« Previous Showing results 1 — 15 out of 5,617 results