Modularity of ontologies in an arbitrary institution

DOI10.1007/978-3-319-23165-5_17MaRDI QIDQ2945717zbMATH OpenOpenAlexFDO

Authors Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23165-5_17

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Knowledge representation (68T30)

Recommendations

• Extracting Modules from Ontologies: A Logic-Based Approach
• Module extraction in expressive ontology languages via Datalog reasoning
• Model-theoretic inseparability and modularity of description logic ontologies
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• A Modularity Approach for a Fragment of $\mathcal{ALC}$

Cites work

• Algebra and Coalgebra in Computer Science
• Amalgamation in the semantics of CASL
• Composing hidden information modules over inclusive institutions
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Localized operational termination in general logics
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• May I borrow your logic? (Transporting logical structures along maps)
• Modular ontologies. Concepts, theories and techniques for knowledge modularization
• Recent Trends in Algebraic Development Techniques
• Reflection in conditional rewriting logic
• Reflective metalogical frameworks
• Semantics of the distributed ontology language: institutes and institutions
• Specifications in an arbitrary institution
• Structured theories and institutions
• The distributed ontology, modeling and specification language -- DOL
• What Is a Multi-modeling Language?

Cited in

(5)

• Towards a functional approach to modular ontologies using institutions
• Module extraction in expressive ontology languages via Datalog reasoning
• Semantics of the distributed ontology language: institutes and institutions
• Extracting Modules from Ontologies: A Logic-Based Approach
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)

This page was built for publication: Modularity of ontologies in an arbitrary institution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945717)