Top
Topic: I1-OntoSpace
Publications for topic "I1-OntoSpace"
2015
E pluribus unum: Formalisation, Use-Cases, and Computational Support for Conceptual Blending, in: Computational Creativity Research: Towards Creative Machines. Thinking Machines. Studies in Computational Cognition. Editors: T. R. Besold, M. Schorlemmer, A. Smaill, pages 167-196, Atlantis - Springer, 2015 | , , , and ,
[DOI] [URL] |
2014
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design, in: Principles of Knowledge Representation and Reasoning: Proceedings of the 14th International Conference, KR 2014, Vienna, Austria, 2014 | , and ,
[URL] |
2013
Proceedings of Workshop, SHAPES 2.0: The Shape of Things (SHAPES 2.0). Co-located with UniLog 2013: 4th World Congress and School on Universal Logic, 2013 | , , and (eds.),
[URL] |
Semantics of the distributed ontology language: Institutes and Institutions, in: Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, pages 212-230, Springer, 2013 | , and ,
[URL] |
2012
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | , and ,
Deciding FO-Rewritability in EL, in: Description Logics, 2012 | , and ,
Intuitive and Natural Interfaces for Geospatial Data Classification, in: Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012, 2012 | , , , , and ,
|
LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012 | , and ,
[URL] |
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity, in: Description Logics, 2012 | , and ,
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs, in: 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 103-111, Springer, 2012 | , and ,
|
Non-Uniform Data Complexity of Query Answering in Description Logics (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | and ,
Ontological Blending in DOL, in: C2GI - Computational Creativity, Concept Invention, and General Intelligence, at ECAI 2012, Publication Series of the Institute of Cognitive Science, 2012 | , , , and ,
[URL] |
Ontological Modelling of Form and Function for Architectural Design (2012), in: Applied Ontology Journal (AOJ) | , and ,
[URL] |
Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, CEUR-WS.org, 2012 | , and (eds.),
Query Containment in Description Logics Reconsidered (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | , and ,
The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability, in: What will the Semantic Web look like 10 Years from now? Workshop at ISWC, 2012 | , , , , and ,
[URL] |
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, in: Conferences on Intelligent Computer Mathematics CICM 2012, Springer, 2012 | , , and ,
[DOI] |
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics, in: TKE (Terminology and Knowledge Engineering) Conference 2012, 2012 | , , and ,
|
Three Semantics for the Core of the Distributed Ontology Language, in: FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pages 337-352, IOS Press; Amsterdam; http://www.iospress.nl, 2012 | , and ,
[URL] |
2011
A Modular Consistency Proof for Dolce, in: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234, AAAI Press; Menlo Park, CA, 2011 | and ,
[URL] |
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability, in: IJCAI, pages 983-988, 2011 | , and ,
|
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap, in: Fourth International Conference on GeoSpatial Semantics, pages 88--107, Springer, 2011 | , , , and ,
[URL] |
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics, in: IJCAI, pages 989-995, 2011 | and ,
|
How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications, in: Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011, 2011 | , and ,
[URL] |
Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples, in: Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011), 2011 | , , , and ,
[URL] |