The distributed ontology, modeling and specification language -- DOL

DOI10.1007/978-3-319-15368-1_21MaRDI QIDQ5350348zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

heterogeneous ontologiesinstitutionsinteroperabilitymodularity

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(13)

• A computational framework for conceptual blending
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Towards leveraging domain knowledge in state-based formal methods
• 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
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
• Modularity of ontologies in an arbitrary institution
• Formal and Conceptual Comparison of Ontology Mapping Languages
• Semantic web
• Translation structures for fuzzy model theory
• Partial pushout semantics of generics in DOL

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)