The Distributed Ontology, Modeling and Specification Language – DOL
From MaRDI portal
Publication:5350348
DOI10.1007/978-3-319-15368-1_21zbMath1409.68284OpenAlexW4255572973MaRDI QIDQ5350348
Fabian Neuhaus, Mihai Codescu, Oliver Kutz, Till Mossakowski
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
Related Items
Specifying with syntactic theory functors ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ A computational framework for conceptual blending ⋮ Partial pushout semantics of generics in DOL ⋮ Towards leveraging domain knowledge in state-based formal methods
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Forgetting for knowledge bases in DL-lite
- Foundations of algebraic specification and formal software development.
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- Institution morphisms
- Structured algebraic specifications: A kernel language
- Specifications in an arbitrary institution
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Logical systems for structured specifications.
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Semantics of the Distributed Ontology Language: Institutes and Institutions
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets
- The Complexity of Circumscription in DLs
- Institutions: abstract model theory for specification and programming
- Towards an Institutional Framework for Heterogeneous Formal Development in UML
- Composing Hidden Information Modules over Inclusive Institutions
