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

modularityinstitutionsinteroperabilityheterogeneous ontologies

Mathematics Subject Classification ID

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

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

• 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?)
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Composing hidden information modules over inclusive institutions
• Forgetting for knowledge bases in DL-lite
• Foundations of algebraic specification and formal software development.
• 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

(12)

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

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)