The distributed ontology, modeling and specification language -- DOL

DOI10.1007/978-3-319-15368-1_21zbMATH Open1409.68284OpenAlexW4255572973MaRDI QIDQ5350348FDOQ5350348

Authors: Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz 

Publication date: 28 August 2017

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15368-1_21

Recommendations

• Semantics of the distributed ontology language: institutes and institutions
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
• About description logics and ontology
• scientific article; zbMATH DE number 2006499
• Composing Modular Ontologies with Distributed Description Logics

zbMATH Keywords

modularityinstitutionsinteroperabilityheterogeneous ontologies

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Forgetting for knowledge bases in DL-lite
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Institutions: abstract model theory for specification and programming
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Title not available (Why is that?)
• Foundations of algebraic specification and formal software development.
• The complexity of circumscription in DLs
• Institution morphisms
• Composing hidden information modules over inclusive institutions
• Title not available (Why is that?)
• Specifications in an arbitrary institution
• Logical systems for structured specifications.
• Title not available (Why is that?)
• Towards logical frameworks in the heterogeneous tool set Hets
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Structured algebraic specifications: A kernel language
• Semantics of the distributed ontology language: institutes and institutions
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper

Cited In (12)

• Formal and Conceptual Comparison of Ontology Mapping Languages
• Modularity of ontologies in an arbitrary institution
• Towards leveraging domain knowledge in state-based formal methods
• A computational framework for conceptual blending
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
• Partial pushout semantics of generics in DOL
• Semantic web
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Specifying with syntactic theory functors
• Introducing \(H\), an institution-based formal specification and verification language
• Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
• Semantics of the distributed ontology language: institutes and institutions

This page was built for publication: The distributed ontology, modeling and specification language -- DOL

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