Curriculum Vitae

personal data

name theo-ovgu
location The tag location is only available for users.
date of birth The tag birthday is only available for users.
profession The tag profession is only available for users.
institution The tag institution is only available for users.

scientific interests

The tag interests is only available for users.

hobby

The tag hobbies is only available for users.

my publications

The Heterogeneous Tool Set, Hets.. TACAS. editor(s) Grumberg, Orna and Huth, Michael. Lecture Notes in Computer Science, (4424) 519-522, Springer, Year 2007.
Image schemas in computational conceptual blending . In Cognitive Systems Research , (39) 42 - 57, Year 2016.
Image schemas as a skeleton of concept invention and metaphor. RaAM 11 Conference. Berlin, Year 2016.
RECON-A Controlled English for Business Rules.. RuleML. editor(s) Fodor, Paul and Roman, Dumitru and Anicic, Darko and Wyner, Adam and Palmirani, Monica and Sottara, Davide and Lévy, François. CEUR Workshop Proceedings, (1004) CEUR-WS.org, Year 2013.
UML interactions meet state machines - an institutional approach. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO). editor(s) Bonchi, Filippo and König, Barbara. LIPICS, Year 2017.
A formal theory of substances, qualities, and universals. Formal Ontology in Information Systems: Proceedings of the Third International Conference (FOIS-2004). Year 2004.
Tautologien und Trivialitäten? Logische Methoden in der Philosophie. In Zeitschrift für philosophische Forschung, H. 3: 412--430, Vittorio Klostermann GmbH, Year 2003.
Breaking Down Finance: A method for concept simplification by identifying movement structures from the image schema PATH-following. Proc. of the Joint Ontology Workshops (JOWO). Year 2016.
On the Cognitive and Logical Role of Image Schemas in Computational Conceptual Blending. AIC 2014 Artificial Intelligence and Cognition. editor(s) Lieto, Antonio and Radicioni, Daniele P. and Cruciani, Marco. CEUR Workshop Proceedings, (1315) 110--121, CEUR-WS.org, Year 2014.
Shape up, baby! Perception, image schemas and shapes in concept formation. Proc. of the Shapes 3.0 Workshop . Year 2015.
Heterogeneous verification in the context of model driven engineering. In Sci. Comput. Program., (126) 3--30, Year 2016.
Alter Wein frisch abgefüllt — Explikation und Expansion von Analytizität. Kant und die Berliner Aufklärung -- Akten des IX. Internationalen Kantkongresses. editor(s) Gerhardt, Volker and Horstmann, Rolf-Peter and Schumacher, Ralf. 45-54, Year 2001.
The Distributed Ontology, Model and Specification Language – DOL. WADT 2016. editor(s) Roggenbach, Markus. LNCS, (10644) Springer, Year 2017.
Multi-view Consistency in UML. A Survey. Formal Methods for Software Systems. editor(s) Heckel, Reiko and Taentzer, Gabi. Year 2017.
I Don't Find a Hammer, Can I Use a Rock? (Extended Abstract). Women in Robotics Workshop at The 2015 Robotics: Science and Systems Conference. Rome, Italy, Year 2015.
The semantics of modules in common logic. nterdisciplinary Ontology Vol. 3 (Proceedings of the Third Interdisciplinary Ontology Meeting). February 27th-28th, 2010, Tokyo. editor(s) B., Smith and R., Mizoguchi and S., Nakagawa. (3) 107--117, Year 2010.
Fabricating Monsters is Hard - Towards the Automation of Conceptual Blending. Proc. of Computational Creativity, Concept Invention, and General Intelligence (C3GI at ECAI-14), Prague, 2014. Year 2014.
Ontohub: A semantic repository engine for heterogeneous ontologies. In Applied ontology, 1-24, Year 2017.
Canonical Selection of Colimits. WADT 2016. editor(s) Roggenbach, Markus. LNCS, (10644) Springer, Year 2017.
E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending. Computational Creativity Research: Towards Creative Machines. editor(s) Besold, Tarek R. and Schorlemmer, Marco and Smaill, Alan. Atlantis Thinking Machines, (7) 167-196, Atlantis Press, Year 2015.
What Is a Derived Signature Morphism?. WADT. editor(s) Codescu, Mihai and Diaconescu, Razvan and Tutu, Ionut. Lecture Notes in Computer Science, (9463) 90-109, Springer, Year 2014.
Ontology Patterns with DOWL: The Case of Blending. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.. editor(s) Lenzerini, Maurizio and Peñaloza, Rafael. CEUR Workshop Proceedings, (1577) CEUR-WS.org, Year 2016.
Between Contact and Support: Introducing a logic for image schemas and directed movement. 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017). Year 2017.
A narrative in three acts: Using combinations of image schemas to model events. In Biologically Insprired Cognitive Architectures, (17) 10-20, Year 2017.
Learning to Understand by Evolving Theories. Knowledge Representation and Reasoning in Robotics workshop at 29th International Conference on Logic Programming. Istanbul, Turkey, Year 2013.
Rock, Paper, Sissors: What Can I Use In Place of a Hammer. Doctoral Consortium at the 38th German Conference on Artificial Intelligence. Dresden, Germany, Year 2015.
Specification refinements: calculi, tools, and applications. In Science of Computer Programming, (144) 1–49, Year 2017.
Modeling principles and methodologies-spatial representation and reasoning. Anatomy Ontologies for Bioinformatics. editor(s) Burger, Albert and Davidson, Duncan and Baldock, Richard. 307--326, Springer London, Year 2008.
Institutions for database schemas and datasets. CALCO early ideas 2017. Year 2017.
The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability. What will the Semantic Web look like 10 Years from now? Workshop at ISWC. editor(s) van Harmelen, Frank and Hendler, James A. and Hitzler, Pascal and Janowicz, Krzysztof and Vrandev ci'c, Denny. Year 2012.
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and
Computational Properties
.
In ACM Computing Surveys (CSUR), (50) 1: Year 2017.
Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language,. Proc. of Advancements in Cogntivie Systems. Year 2017.
Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016.. JOWO@FOIS. editor(s) Kutz, Oliver and de Cesare, Sergio and Hedblom, Maria M. and Besold, Tarek Richard and Veale, Tony and Gailly, Frederik and Guizzardi, Giancarlo and Lycett, Mark and Partridge, Chris and Pastor, Oscar and Grüninger, Michael and Neuhaus, Fabian and Mossakowski, Till and Borgo, Stefano and Bozzato, Loris and Vescovo, Chiara Del and Homola, Martin and Loebe, Frank and Barton, Adrien and Bourguet, Jean-Rémi. CEUR Workshop Proceedings, (1660) CEUR-WS.org, Year 2016.
A strategy for building neuroanatomy ontologies. In Bioinformatics, (28) 9: 1262--1269, Oxford University Press, Year 2012.
What's in an `is about' link? Chemical diagrams and the Information Artifact Ontology. ICBO-2011 International Conference on Biomedical Ontology. editor(s) Bodenreider, Olivier and Martone, Maryann E. and Ruttenberg, Alan. CEUR Vol-833, 201-208, CEUR, Year 2012.
Image schemas as families of theories. Proceedings of the Workshop “Computational Creativity, Concept Invention, and General Intelligence”. (2) 19--33, Year 2015.
CARO--the common anatomy reference ontology. Anatomy Ontologies for Bioinformatics. 327--349, Springer London, Year 2008.
NIST Workshop on Ontology Evaluation. NIST Interagency/Internal Report (NISTIR) - 7774. . Year 2012.
Safe Ontology Development with Generic Ontology Design Patterns. Ontology Design and Patterns, workshop at ISWC 2017. Year 2017.
Use of Semantic Mediation in Manufacturing Supply Chains. Cases on Semantic Interoperability for Information Systems Integration: Practices and Applications: Practices and Applications. editor(s) Kalfoglou, Yannis. 43-63, IGI Global, Year 2009.
Beneath the Paint: A Visual Journey through Conceptual Metaphor Violation. Proceedings of the Third Joint Ontology Workshops (JOWO). editor(s) Kutz, Oliver and Borgo, Stefano and Loebe, Frank and Neuhaus, Fabian. Year 2017.
Multi-modal Image Schemas. Year 2017.
Introduction. First-Order Logic Revisited. editor(s) Hendricks, Vincent and Neuhaus, Fabian and Pedersen, Stig Andur and Scheffler, Uwe and Wansing, Heinrich. Logische Philosophie, 1-6, Logos Verlag, Year 2004.
Towards ontology evaluation across the life cycle -- The Ontology Summit 2013. In Applied Ontology, (8) 3: 179--194, IOS Press, Year 2013.
Naive Prädikatenlogik: eine logische Theorie der Prädikation. Logische Philosophie, Logos Verlag, Berlin, Year 2004.
Computing Narratives of Cognitive User Experience for Building Design Analysis: A Field Report on KR for Industry Scale Computer Aided Architecture Design. 14th International Conference on Principles of Knowledge Representation and Reasoning. Vienna, Austria, Year 2014.
First-Order Logic Revisited. editor(s) Hendricks, Vincent and Neuhaus, Fabian and Pedersen, Stig Andur and Scheffler, Uwe and Wansing, Heinrich. Logische Philosophie, Logos Verlag, Year 2004.
Ableitbarkeit und Folgebeziehung. Was folgt. Themen zu Wessel. editor(s) Christiansen, Bente and Scheffler, Uwe. Logische Philosophie, 57-67, Logos Verlag, Year 2004.
Ontology-based technologies--Technology transfer from bioinformatics. Ontology for the Intelligence Community (OIC-2008)--Towards Effective Exploitation and Integration of Intelligence Resources. editor(s) Laskey, Kathryn Blackmond and Wijesekera, Duminda. CEUR Vol-440, CEUR, Year 2009.
A categorical approach to networks of aligned ontologies. In Journal on data semantics, (6) 4: 155-197, Year 2017.
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention. In Journal of Artificial General Intelligence, (6) 1: 21-54, Year 2015.
Creating the ontologists of the future. In Applied Ontology, (6) 1: 91--98, IOS Press, Year 2011.
OntologySummit2008 Communiqué: Towards an Open Ontology Repository. Year 2008.
The Institution-Theoretic Scope of Logic Theorems. In Logica Universalis, (8) 393–406, Year 2014.
An ontological approach to information access control and provenance. OIC-2009 Ontologies for the Intelligence Community. editor(s) Costa, Paulo and Laskey, Kathryn and Obrst, Leo. CEUR Vol-555, Year 2009.
Rock, Paper, Sissors: What Can I Use In Place of a Hammer (Extended Abstract). Robotics Fellowship Talk at The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). Phoenix, Arizona, USA, Year 2016.
The Distributed Ontology, Modeling and Specification Language – DOL. The Road to Universal Logic. editor(s) Koslow, Arnold and Buchsbaum, Arthur. (2) 489-520, Birkhäuser, Year 2015.
The Bigger Picture—Speech Acts in Interaction with Ontology-based Information Systems. Interdisciplinary Ontology -- Proceedings of the Second Interdisciplinary Ontology Meeting (InterOntology 2009). (2) 45--56, Year 2009.
Relations Between Spatial Calculi About Directions and Orientations. International Joint Conference on Artificial Intelligence 2017, Melbourne. Year 2017.
Relations in biomedical ontologies. In Genome biology, (6) 5: 1, BioMed Central, Year 2005.
Web-Retrieval supported Argument Space Exploration. CHIIR 2017. 309-312, Year 2017.
Blending in the Hub. Towards a collaborative concept invention platform. Fifth International Conference on Computational Creativity. Year 2014.
Modelling Principles and Methodologies--Relations in Anatomical Ontologies. Anatomy ontologies for bioinformatics. editor(s) Burger, Albert and Davidson, Duncan and Baldock, Richard. 289--306, Springer London, Year 2008.
Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.. JOWO@FOIS. editor(s) Kutz, Oliver and de Cesare, Sergio and Hedblom, Maria M. and Besold, Tarek Richard and Veale, Tony and Gailly, Frederik and Guizzardi, Giancarlo and Lycett, Mark and Partridge, Chris and Pastor, Oscar and Grüninger, Michael and Neuhaus, Fabian and Mossakowski, Till and Borgo, Stefano and Bozzato, Loris and Vescovo, Chiara Del and Homola, Martin and Loebe, Frank and Barton, Adrien and Bourguet, Jean-Rémi. CEUR Workshop Proceedings, (1660) CEUR-WS.org, Year 2016.
Canonicalization in the PrIKL Reasoner. In Journal of Software, (8) 5: 1058--1062, Year 2013.
Can I Use a Sandal Instead of a Hammer?: A Cognitive Approach to a Tool Substitution (Extended Abstract). Learning Object Affordances: a Fundamental Step to Allow Prediction, Planning and Tool Use? Workshop at The 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems. Hamburg, Germany, Year 2015.
Common Logic and the Horatio problem. In Applied Ontology, (7) 2: 211-231, IOS Press, Year 2012.
On being perfect. GAP.6: Selected Papers Contributed to the Sections of the Sixth International Congress of the German Society for Analytic Philosophy. editor(s) Walter, Sven and Bohse, Helen. (6) 665--679, Mentis Verlag, Paderborn, Year 2007.

my bookmarks