- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
-Connections of abstract description systems
Artificial Intelligence 156 (1):1-73 (2004)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 449-463.
Dynamic Description Logics.Frank Wolter & Michael Zakharyaschev - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 449-463.
Foundations of instance level updates in expressive description logics.Hongkai Liu, Carsten Lutz, Maja Miličić & Frank Wolter - 2011 - Artificial Intelligence 175 (18):2170-2197.
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.
Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
Games for query inseparability of description logic knowledge bases.Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2016 - Artificial Intelligence 234 (C):78-119.
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2010 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 271-291.
Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description of Logic EL.Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 271-291.
Interlevel connections and agent evolution should not be overlooked.Donald R. Franceschetti - 1998 - Behavioral and Brain Sciences 21 (5):639-640.
A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
Closure, function, emergence, semiosis and life: The same idea? Reflections on the concrete and the abstract in theoretical biology.Claus Emmeche - 2000 - Annals of the New York Academy of Sciences 901:187-197.
Conceptual and Derivation Systems.Jiří Raclavský & Petr Kuchyňka - 2011 - Logic and Logical Philosophy 20 (1-2):159-174.
Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
Analytics
Added to PP
2020-12-22
Downloads
1 (#1,515,607)
6 months
1 (#489,169)
2020-12-22
Downloads
1 (#1,515,607)
6 months
1 (#489,169)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke - 2010 - Logica Universalis 4 (2):255-333.
A linguistic ontology of space for natural language processing.John A. Bateman, Joana Hois, Robert Ross & Thora Tenbrink - 2010 - Artificial Intelligence 174 (14):1027-1071.
Embodied contextualization: Towards a multistratal ontological treatment.John A. Bateman, Mihai Pomarlan & Gayane Kazhoyan - 2019 - Applied ontology 14 (4):379-413.
Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.
Ontological modelling of form and function for architectural design.Mehul Bhatt, Joana Hois & Oliver Kutz - 2012 - Applied ontology 7 (3):233-267.
References found in this work
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7cdd687c8d-w9tx6 N