Chair of Automata Theory at the Institute of Theoretical Computer Science of the Faculty of Computer Science of the Technische Universität Dresden

Publications

The list of publications is also available as PDF document. There is also a list of our technical reports and theses.

2016

F. Baader, M. Bienvenu, C. Lutz, and F. Wolter: Query and Predicate Emptiness in Ontology-Based Data Access. Journal of Artificial Intelligence Research (JAIR), 56:1–59, 2016.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska: Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. Notre Dame Journal of Formal Logic, 2016. In press.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Andreas Ecke: Reasoning with Prototypes in the Description Logic ALC using Weighted Tree Automata. In Proceedings of the 10th International Conference on Language and Automata Theory and Applications (LATA 2016), volume 9618 of Lecture Notes in Computer Science, pages 63–75. Springer-Verlag, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Oliver Fernández Gil: Extending the Description Logic tel(deg) with Acyclic TBoxes. In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1096–1104. IOS Press, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Pierre Ludmann: The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. In Silvio Ghilardi and Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification (UNIF'16), pages 31–35, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Pavlos Marantidis: Approximately Solving Set Equations. In Silvio Ghilardi and Manfred Schmidt-Schauß, editors, Proceedings of the 30th International Workshop on Unification (UNIF'16), pages 37–41, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Daniel Borchmann, Felix Distel, and Francesco Kriegel: Axiomatisation of General Concept Inclusions from Finite Interpretations. Journal of Applied Non-Classical Logics, 26(1):1–46, 2016.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, and Oana Tifrea-Marciuska: Preferential Query Answering in the Semantic Web with Possibilistic Networks. In Subbarao Kambhampati, editor, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), pages 994–1000. New York City, USA, AAAI Press, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan: Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics, 5(2):55–75, 2016.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Stefan Borgwardt and Rafael Peñaloza: Reasoning in Expressive Gödel Description Logics. In Maurizio Lenzerini and Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: Reasoning in fuzzy description logics using automata. Fuzzy Sets and Systems, 298:22–43, 2016.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Claudia Carapelle and Anni-Yasmin Turhan: Description Logics Reasoning w.r.t. general TBoxes is decidable for Concrete Domains with the EHD-property. In Proceedings of the 22nd European Conference on Artificial Intelligence, 2016. to appear
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: Axiomatization of General Concept Inclusions from Streams of Interpretations with optional Error Tolerance. In Sergei Kuznetsov, Amedeo Napoli, and Sebastian Rudolph, editors, Proceedings of the 5th Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2016), 2016. To appear.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: NextClosures with Constraints. In Marianne Huchard and Sergei Kuznetsov, editors, Proceedings of the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), volume 1624 of CEUR Workshop Proceedings, pages 231–243. Moscow, Russia, CEUR-WS.org, 2016.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: Parallel Attribute Exploration. In Ollivier Haemmerlé, Gem Stapleton, and Catherine Faron-Zucker, editors, Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of Lecture Notes in Computer Science, pages 91–106. Annecy, France, Springer-Verlag, 2016.
BibTeX entry  Abstract  Paper (PDF)  DOI  ©Springer-Verlag 

Benjamin Zarrieß and Jens Claßen: Decidable Verification of Golog Programs over Non-Local Effect Actions. In Dale Schuurmans and Michael Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI Press, February 2016.
BibTeX entry  Abstract 


2015

Franz Baader, Stefan Borgwardt, and Marcel Lippmann: Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. In Bernhard Pfahringer and Jochen Renz, editors, Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, pages 21–33. Canberra, Australia, Springer-Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Stefan Borgwardt, and Marcel Lippmann: Temporal Query Entailment in the Description Logic SHQ. Journal of Web Semantics, 33:71–93, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: Dismatching and Local Disunification in EL. In Maribel Fernández, editor, Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA'15), volume 36 of Leibniz International Proceedings in Informatics, pages 40–56. Warsaw, Poland, Dagstuhl Publishing, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: Dismatching and Local Disunification in EL (Extended Abstract). In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350 of CEUR Workshop Proceedings, pages 30–33, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Rafael Peñaloza: On the Decidability Status of Fuzzy ALC with General Concept Inclusions. Journal of Philosophical Logic, 44(2):117–146, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Franz Baader, Gerhard Brewka, and Oliver Fernández Gil: Adding Threshold Concepts to the Description Logic EL. In Carsten Lutz and Silvio Ranise, editors, Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lectures Notes in Artificial Intelligence, pages 33–48. Wroclaw, Poland, Springer-Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Gerhard Brewka, and Oliver Fernández Gil: Adding Threshold Concepts to the Description Logic EL (extended abstract). In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL-2015), volume 1350 of CEUR Workshop Proceedings. Athens, Greece, CEUR-WS.org, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Pierre Ludmann: The Exact Unification Type of Commutative Theories. In Santiago Escobar and Mateu Villaret, editors, Proceedings of the 29th International Workshop on Unification (UNIF'15), pages 19–23, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Stephan Böhme and Marcel Lippmann: Decidable Contextualized DLs with Rigid Roles. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL-2015), volume 1350 of CEUR Workshop Proceedings, pages 92–95. Athens, Greece, CEUR-WS.org, 2015.
BibTeX entry  Paper (PDF) 

Stephan Böhme and Marcel Lippmann: Decidable Description Logics of Context with Rigid Roles. In Carsten Lutz and Silvio Ranise, editors, Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, pages 17–32. Wroclaw, Poland, Springer-Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Daniel Borchmann: Exploring Faulty Data. In Jaume Baixeries, Christian Sacarea, and Manuel Ojeda-Aciego, editors, Proceedings of the 13th International Conference on Formal Concept Analysis (ICFCA'15), volume 9113 of Lecture Notes in Computer Science, pages 219–235. Springer-Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, Marco Cerami, and Rafael Peñaloza: The Complexity of Subsumption in Fuzzy EL. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), pages 2812–2818. Buenos Aires, Argentinia, AAAI Press, 2015.
BibTeX entry  Abstract  Paper (PDF)  ©IJCAI 

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza: The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions. Artificial Intelligence, 218:23–55, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Stefan Borgwardt, Marcel Lippmann, and Veronika Thost: Temporalizing Rewritable Query Languages over Knowledge Bases. Journal of Web Semantics, 33:50–70, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan: Conjunctive Query Answering with Finitely Many Truth Degrees. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350 of CEUR Workshop Proceedings, pages 364–367, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics. In Carsten Lutz and Silvio Ranise, editors, Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, pages 49–65. Wroclaw, Poland, Springer-Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt and Rafael Peñaloza: Reasoning in Infinitely Valued G-IALCQ. In Proceedings of the 3rd Workshop on Weighted Logics for AI (WL4AI'15), pages 2–8, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Veronika Thost: Temporal Query Answering in DL-Lite with Negation. In Georg Gottlob, Geoff Sutcliffe, and Andrei Voronkov, editors, Proceedings of the 1st Global Conference on Artificial Intelligence (GCAI'15), volume 36 of EasyChair Proceedings in Computing, pages 51–65. EasyChair, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Veronika Thost: Temporal Query Answering in the Description Logic EL. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), pages 2819–2825. Buenos Aires, Argentina, AAAI Press, 2015.
BibTeX entry  Abstract  Paper (PDF)  ©IJCAI 

Stefan Borgwardt and Veronika Thost: Temporal Query Answering in the Description Logic EL (extended abstract). In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350 of CEUR Workshop Proceedings, pages 83–87, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan: Query Answering in Bayesian Description Logics. In Proc. of DL'15, volume 1350 of CEUR Workshop Proceedings. CEUR-WS, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan, Thomas Lukasiewicz, and Rafael Peñaloza: Answering EL Queries in the Presence of Preferences. In Proc. of DL'15, volume 1350 of CEUR Workshop Proceedings. CEUR-WS, 2015.
BibTeX entry  Paper (PDF) 

Ismail Ilkan Ceylan and Rafael Peñaloza: Dynamic Bayesian Description Logics. In Proc. of DL'15, volume 1350 of CEUR Workshop Proceedings. CEUR-WS, 2015.
BibTeX entry  Paper (PDF) 

Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Towards Extracting Ontology Excerpts. In Songmao Zhang, Martin Wirsing, and Zili Zhang, editors, Proceedings of the 8th International Conference on Knowledge Science, Engineering and Management (KSEM 2015), volume 9403 of Lecture Notes in Computer Science, pages 78–89. Springer, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Similarity-based Relaxed Instance Queries. Journal of Applied Logic, 13(4, Part 1):480–508, 2015. Special Issue for the Workshop on Weighted Logics for AI 2013
BibTeX entry  Abstract  Paper (PDF)  DOI 

Andreas Ecke, Maximilian Pensel, and Anni-Yasmin Turhan: ELASTIQ: Answering Similarity-threshold Instance Queries in EL. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL-2015), volume 1350 of CEUR Workshop Proceedings. CEUR-WS.org, June 2015.
BibTeX entry  Abstract  Paper (PDF) 

Shasha Feng, Michel Ludwig, and Dirk Walther: Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes. In Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza, and Sebastian Rudolph, editors, Proceedings of the 38th Annual German Conference on AI (KI 2015), volume 9324 of Lecture Notes in Computer Science, pages 59–71, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Shasha Feng, Michel Ludwig, and Dirk Walther: Foundations for the Logical Difference of EL-TBoxes. In Georg Gottlob, Geoff Sutcliffe, and Andrei Voronkov, editors, GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EPiC Series in Computing, pages 93–112. EasyChair, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Shasha Feng, Michel Ludwig, and Dirk Walther: The Logical Difference for EL: from Terminologies towards TBoxes. In Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), CEUR workshop proceedings, 2015. To appear
BibTeX entry  Abstract 

Francesco Kriegel: Axiomatization of General Concept Inclusions in Probabilistic Description Logics. In Steffen Hölldobler, Sebastian Rudolph, and Markus Krötzsch, editors, Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), volume 9324 of Lecture Notes in Artificial Intelligence, pages 124–136. Dresden, Germany, Springer Verlag, 2015.
BibTeX entry  Abstract  Paper (PDF)  DOI  ©Springer-Verlag 

Francesco Kriegel: Extracting ALEQR(Self)-Knowledge Bases from Graphs. In Sergei O. Kuznetsov, Rokia Missaoui, and Sergei A. Obiedkov, editors, Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015), volume 1534 of CEUR Workshop Proceedings. Nerja, Spain, CEUR-WS.org, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis. In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350 of CEUR Workshop Proceedings, pages 452–464. Athens, Greece, CEUR-WS.org, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in EL. In Sadok Ben Yahia and Jan Konecny, editors, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), volume 1466 of CEUR Workshop Proceedings, pages 193–204. Clermont-Ferrand, France, CEUR-WS.org, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel and Daniel Borchmann: NextClosures: Parallel Computation of the Canonical Base. In Sadok Ben Yahia and Jan Konecny, editors, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), volume 1466 of CEUR Workshop Proceedings, pages 182–192. Clermont-Ferrand, France, CEUR-WS.org, 2015. Best Paper Award.
BibTeX entry  Abstract  Paper (PDF) 

Theofilos Malis, Anni-Yasmin Turhan, and Erik Zenker: A Pragmatic Approach to Answering CQs over Fuzzy DL-Lite-ontologies - introducing FLite. In Proceedings of the 28th International Workshop on Description Logics (DL-2015), June 2015.
BibTeX entry  Abstract  Paper (PDF) 

Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, and Michael Schroeder: Formalizing Biomedical Concepts from Textual Definitions. Journal of Biomedical Semantics, 6(22), 2015.
BibTeX entry  Abstract  DOI 

Veronika Thost, Jan Holste, and Özgür Özçep: On Implementing Temporal Query Answering in DL-Lite (extended abstract). In Proceedings of the 28th International Workshop on Description Logics (DL-2015). Athens, Greece, CEUR Workshop Proceedings, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Anni-Yasmin Turhan and Erik Zenker: Towards Temporal Fuzzy Query Answering on Stream-based Data. In Daniela Nicklas and Özgür Lütfü Özçep, editors, Proceedings of the 1st Workshop on High-Level Declarative Stream Processing (HiDest'15), volume 1447 of CEUR Workshop Proceedings, pages 56–69. CEUR-WS.org, 2015.
BibTeX entry  Abstract  Paper (PDF) 

Benjamin Zarrieß and Jens Claßen: Verification of Knowledge-Based Programs over Description Logic Actions. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), pages 3278–3284. AAAI Press, 2015.
BibTeX entry  Abstract 


2014

Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, and Dirk Walther: Towards an FCA-based Recommender System for Black-Box Optimization. In Sergei O. Kuznetsov, Amedeo Napoli, and Sebastian Rudolph, editors, Proceedings of the 3rd International Workshop on "What can FCA do for Artificial Intelligence?" (FCA4AI'14), volume 1257 of CEUR Workshop Proceedings, pages 35–42, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader: Ontology-Based Monitoring of Dynamic Systems. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), pages 678–681. Vienna, Austria, AAAI Press, 2014. Invited contribution.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Marcel Lippmann: Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited. Journal of Applied Logic, 12(4):584–613, 2014.
BibTeX entry  Abstract  DOI 

Franz Baader and Barbara Morawska: Matching with respect to general concept inclusions in the Description Logic EL. In Temur Kutsia and Christophe Ringeissen, editors, Proceedings of the 28th International Workshop on Unification (UNIF'14), RISC-Linz Report Series No. 14-06, pages 22–26, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Barbara Morawska: Matching with respect to general concept inclusions in the Description Logic EL. In Carsten Lutz and Michael Thielscher, editors, Proceedings of the 37th German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, pages 135–146. Springer-Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Barbara Morawska: Matching with respect to general concept inclusions in the Description Logic EL. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 33–44, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Daniel Borchmann, Rafael Peñaloza, and Wenqian Wang: Classifying Software Bug Reports Using Methods from Formal Concept Analysis. Studia Universitatis Babeş-Bolyai Informatica, 59:10–27, 2014. Suplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA'14)
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt: Fuzzy DLs over Finite Lattices with Nominals. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 58–70, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, Marco Cerami, and Rafael Peñaloza: Many-Valued Horn Logic is Hard. In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, pages 52–58, 2014.
BibTeX entry  Paper (PDF) 

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza: Decidable Gödel description logics without the finitely-valued model property. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), pages 228–237. AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza: Gödel Description Logics with General Models. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 391–403, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, José A. Leyva Galano, and Rafael Peñaloza: Gödel FL0 with Greatest Fixed-Point Semantics. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 71–82, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, José A. Leyva Galano, and Rafael Peñaloza: The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics. In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, pages 62–76. Funchal, Portugal, Springer-Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt and Rafael Peñaloza: Consistency Reasoning in Lattice-Based Fuzzy Description Logics. International Journal of Approximate Reasoning, 55(9):1917–1938, 2014.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Stefan Borgwardt and Rafael Peñaloza: Finite Lattices Do Not Make Reasoning in ALCOI Harder. In F. Bobillo, R.N. Carvalho, P.C.G. da Costa, C. d'Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, Th. Lukasiewicz, M. Nickles, and M. Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of LNCS, pages 122–141. Springer-Verlag, 2014. Revised Selected Papers from the ISWC International Workshops URSW 2011 - 2013
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso: Verification of Context-Sensitive Knowledge and Action Bases. In Proc. of JELIA'14, volume 8761 of LNCS. Springer Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso: Adding Context to Knowledge and Action Bases. In Proc. of ARCOE-Logic'14. CoRR Technical Report, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan and Rafael Peñaloza: Reasoning in the Description Logic BEL using Bayesian Networks. In Proc. of StarAI'14, volume WS-14-13 of AAAI Workshops. AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan and Rafael Peñaloza: The Bayesian Description Logic BEL. In Proc. of IJCAR'14, volume 8562 of LNCS. Springer, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan and Rafael Peñaloza: Tight Complexity Bounds for Reasoning in the Description Logic BEL. In Proc. of JELIA'14, volume 8761 of LNCS. Springer, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Ismail Ilkan Ceylan and Rafael Peñaloza: Bayesian Description Logics. In Proc. of DL'14, volume 1193 of CEUR Workshop Proceedings. CEUR-WS, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Jieying Chen, Michel Ludwig, Yue Ma, and Dirk Walther: Evaluation of Extraction Techniques for Ontology Excerpts. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 471–482, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, and Benjamin Zarrieß: Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), pages 1012–1019. Quebec City, Quebec, Canada, AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Chiara Del Vescovo and Rafael Peñaloza: DeaLing with Ontologies using CODs. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 157–168, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Stathis Delivorias, Haralampos Hatzikirou, Rafael Penaloza, and Dirk Walther: Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. In Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014), Lecture Notes in Computer Science. Springer-Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Felix Distel, Jamal Atif, and Isabelle Bloch: Concept Dissimilarity with Triangle Inequality. In Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14). Vienna, Austria, AAAI Press, 2014. Short Paper. To appear.
BibTeX entry  Abstract  Paper (PDF) 

Felix Distel, Jamal, Atif, and Isabelle Bloch: Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations. In Torsten Schaub, editor, Proceedings of the 21st International Conference on Artificial Intelligence (ECAI'14), 2014.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke: Similarity-based Relaxed Instance Queries in EL++. In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, volume 1205 of CEUR Workshop Proceedings, pages 101–113. CEUR-WS.org, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke: Similarity-based Relaxed Instance Queries in EL++. In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, volume 1205 of CEUR Workshop Proceedings, pages 101–113. CEUR-WS.org, 2014.
BibTeX entry 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Answering Instance Queries Relaxed by Concept Similarity. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), pages 248–257. Vienna, Austria, AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities. International Journal of Approximate Reasoning, 55(9):1939–1970, 2014.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Mary, What's Like All Cats?. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 526–529, 2014.
BibTeX entry  Paper (PDF) 

Marcus Hähnel, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan: Bridging the Application Knowledge Gap. In Workshop on Adaptive and Reflective Middleware'14, December 2014.
BibTeX entry  Abstract  Paper (PDF) 

Francesco Kriegel: Incremental Computation of Concept Diagrams. Studia Universitatis Babeş-Bolyai Informatica, 59:45–61, 2014. Supplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania
BibTeX entry  Abstract  Paper (PDF) 

Karsten Lehmann and Rafael Peñaloza: The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees. Theoretical Computer Science, 534:53–68, 2014.
BibTeX entry  Abstract  Paper (PDF)  DOI 

Michel Ludwig: Just: a Tool for Computing Justifications w.r.t. EL Ontologies. In Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, and Andreas Steigmiller, editors, Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), pages 1–7. CEUR Workshop Proceedings, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Michel Ludwig and Boris Konev: Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14). AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Michel Ludwig and Rafael Peñaloza: Brave and Cautious Reasoning in EL. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 274–286, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Michel Ludwig and Rafael Peñaloza: Error-Tolerant Reasoning in the Description Logic EL. In Eduardo Fermé and João Leite, editors, Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, pages 107–121. Madeira, Portugal, Springer-Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Michel Ludwig and Dirk Walther: Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 287–298, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Michel Ludwig and Dirk Walther: The Logical Difference for ELHr-Terminologies using Hypergraphs. In Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan, editors, Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, pages 555–560. IOS Press, 2014.
BibTeX entry  Abstract  DOI 

Yue Ma and Rafael Peñaloza: Towards Parallel Repair: An Ontology Decomposition-based Approach. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 633–645, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan: Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics. In Roman Kontchakov and Marie-Laure Mugnier, editors, Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014), pages 124–139. Springer, 2014.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Theofilos Mailis and Anni-Yasmin Turhan: Employing DL-LiteR-Reasoners for Fuzzy Query Answering. In Thepchai Supnithi and Takahira Yamaguchi, editors, Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014). Lecture Notes in Computer Science, 2014.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Francisco Martin-Recuerda and Dirk Walther: Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 299–310, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Francisco Martin-Recuerda and Dirk Walther: Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs. In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig Knoblock, Denny Vrandecic, Paul Groth, Natasha Noy, Krzysztof Janowicz, and Carole Goble, editors, Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II, volume 8797 of Lecture Notes in Computer Science, pages 49–64. Springer-Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Dorian Merz, Rafael Peñaloza, and Anni-Yasmin Turhan: Reasoning in ALC with Fuzzy Concrete Domains. In Carsten Lutz and Michael Thielscher, editors, Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, pages 171–182. Springer Verlag, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza: Automata-based Reasoning in Fuzzy Description Logics. In Tommaso Flaminio, Lluis Godo, Siegfried Gottlob, and Erich Peter Klement, editors, Proceedings of the 35th Linz Seminar on Fuzzy Set Theory, pages 106–106, 2014.
BibTeX entry  Paper (PDF) 

Rafael Peñaloza, Veronika Thost, and Anni-Yasmin Turhan: Certain Answers in a Rough World. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editors, Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, pages 709–712, 2014.
BibTeX entry  Paper (PDF) 

Rafael Peñaloza and Aparna Saisree Thuluva: COBRA, a Demo. In C. Maria Keet and Valentina Tamma, editors, Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014), volume 1265 of CEUR Workshop Proceedings, 2014.
BibTeX entry  Paper (PDF) 

Benjamin Zarrieß and Jens Claßen: On the Decidability of Verifying LTL Properties of Golog Programs. In Technical Report of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR14). Palo Alto, California, USA, AAAI Press, 2014.
BibTeX entry  Abstract  Paper (PDF) 

Benjamin Zarrieß and Jens Claßen: Verifying CTL* Properties of Golog Programs over Local-Effect Actions. In Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI 2014), 2014.
BibTeX entry  Abstract 


2013

Ignasi Ab\'ıo, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodr\'ıguez-Carbonell: A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. In 19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013.
BibTeX entry 

Ignasi Ab\'ıo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr\'ıguez-Carbonell, and Peter J. Stuckey: To Encode or to Propagate? The Best Choice for Each Constraint in SAT. In 19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013.
BibTeX entry 

Mario Alviano and Rafael Peñaloza: Fuzzy Answer Sets Approximations. Theory and Practice of Logic Programming, 13(4–5):753–767, 2013.
BibTeX entry  Abstract  Paper (PDF)  DOI  ©Cambridge University Press 

Jamal Atif, Isabelle Bloch, Felix Distel, and Céline Hudelot: A fuzzy extension of explanatory relations based on mathematical morphology. In Gabriella Pasi and Javier Montero, editors, Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), 2013. to appear
BibTeX entry  Abstract 

Jamal Atif, Isabelle Bloch, Felix Distel, and Céline Hudelot: Mathematical Morphology Operators over Concept Lattices. In Peggy Cellier, Felix Distel, and Bernhard Ganter, editors, Proceedings of the 11th International Conference on Formal Concept Analysis (ICFCA'13), volume 7880 of Lecture Notes in Computer Science, pages 28–43. Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag  (The final publication is available at link.springer.com

Franz Baader, Stefan Borgwardt, and Marcel Lippmann: Temporalizing Ontology-Based Data Access. In Maria Paola Bonacina, editor, Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, pages 330–344. Lake Placid, NY, USA, Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Franz Baader, Oliver Fernández Gil, and Barbara Morawska: Hybrid Unification in the Description Logic EL. In Barbara Morawska and Konstantin Korovin, editors, Proceedings of the 27th International Workshop on Unification (UNIF'13), 2013.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Oliver Fernández Gil, and Barbara Morawska: Hybrid Unification in the Description Logic EL. In Pascal Fontaine, Christophe Ringeissen, and Renate A. Schmidt, editors, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, pages 295–310. Nancy, France, Springer-Verlag, September 2013.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Oliver Fernández Gil, and Barbara Morawska: Hybrid EL-Unification is NP-Complete. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, pages 29–40, July 2013.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Alexander Okhotin: On Language Equations with One-sided Concatenation. Fundamenta Informaticae, 126(1):1–35, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Benjamin Zarrieß: Verification of Golog Programs over Description Logic Actions. In Pascal Fontaine, Christophe Ringeissen, and Renate A. Schmidt, editors, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, pages 181–196. Nancy, France, Springer-Verlag, September 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Daniel Borchmann: Axiomatizing ELgfp-General Concept Inclusions in the Presence of Untrusted Individuals. In Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, pages 65–79. CEUR-WS.org, July 2013.
BibTeX entry  Abstract 

Daniel Borchmann: Axiomatizing EL-Expressible Terminological Knowledge from Erroneous Data. In Proceedings of the Seventh International Conference on Knowledge Capture, pages 1–8. ACM, 2013.
BibTeX entry  Abstract 

Daniel Borchmann: Towards an Error-Tolerant Construction of EL -Ontologies from Data Using Formal Concept Analysis. In Peggy Cellier, Felix Distel, and Bernhard Ganter, editors, Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings, volume 7880 of Lecture Notes in Computer Science, pages 60–75. Springer, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt, Marcel Lippmann, and Veronika Thost: Temporal Query Answering in the Description Logic DL-Lite. In Pascal Fontaine, Christophe Ringeissen, and Renate A. Schmidt, editors, Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, pages 165–180. Nancy, France, Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Stefan Borgwardt, Marcel Lippmann, and Veronika Thost: Temporal Query Answering in DL-Lite. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings. Ulm, Germany, CEUR-WS.org, July 2013.
BibTeX entry  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: About Subsumption in Fuzzy EL. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, pages 526–538, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: Positive Subsumption in Fuzzy EL with General t-norms. In Francesca Rossi, editor, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), pages 789–795. Beijing, China, AAAI Press, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©IJCAI 

Stefan Borgwardt and Rafael Peñaloza: The Complexity of Lattice-Based Fuzzy Description Logics. Journal on Data Semantics, 2(1):1–19, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag  (The final publication is available at link.springer.com

Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, and Anni-Yasmin Turhan: Situation Recognition for Service Management Systems Using OWL 2 Reasoners. In Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, pages 31–36. San Diego, California, IEEE Computer Society, March 2013.
BibTeX entry  Abstract  Paper (PDF)  ©IEEE Press 

Felix Distel and Yue Ma: A hybrid approach for learning concept definitions from text. In Proceedings of the 2013 International Workshop on Description Logics (DL'13), CEUR-WS, 2013. To appear.
BibTeX entry  Abstract 

Andreas Ecke, Michel Ludwig, and Dirk Walther: The Concept Difference for EL-Terminologies using Hypergraphs. In Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013), volume 1008 of CEUR-WS, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Computing Role-depth Bounded Generalizations in the Description Logic ELOR. In Ingo J. Timm and Matthias Thimm, editors, Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, pages 49–60. Koblenz, Germany, Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  Extended technical report (PDF) 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Role-depth bounded Least Common Subsumer in Prob-EL with Nominals. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR-WS, pages 670–688, July 2013.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke, Rafael Peñaloza, and Anni-Yasmin Turhan: Towards Instance Query Answering for Concepts Relaxed by Similarity Measures. In Workshop on Weighted Logics for AI (in conjunction with IJCAI'13), 2013.
BibTeX entry  Abstract  Paper (PDF) 

Sebastian Goetz, Julian Mendez, Veronika Thost, and Anni-Yasmin Turhan: OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In Kavitha Srinivas and Simon Jupp, editors, Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013.
BibTeX entry  Abstract  Paper (PDF) 

Sebastian Götz, René Schöne, Claas Wilke, Julian Mendez, and Uwe Aßmann: Towards Predictive Self-optimization by Situation Recognition. 2nd Workshop EASED@ BUIS 201311, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Herzig, Emiliano Lorini, and Dirk Walther: Reasoning about Actions Meets Strategic Logics. In Davide Grossi, Olivier Roy, and Huaxin Huang, editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings, volume 8196 of Lecture Notes in Computer Science, pages 162–175. Springer, 2013.
BibTeX entry  Paper (PDF) 

Michel Ludwig and Boris Konev: Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. In Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR-WS, pages 377–389, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Yue Ma and Qingfeng Chang: Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers. In The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013. To appear.
BibTeX entry  Abstract 

Yue Ma and Felix Distel: Concept Adjustment for Description Logics. In Mathieu d'Aquin and Andrew Gordon, editors, Proceedings of the 7th International Conference on Knowledge Capture. ACM, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Yue Ma and Felix Distel: Learning Formal Definitions for Snomed CT from Text. In Niels Peek, Roque Marín Morales, and Mor Peleg, editors, Artificial Intelligence in Medicine, volume 7885 of Lecture Notes in Computer Science, pages 73–77. Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag  (The final publication is available at link.springer.com

Yue Ma and Adelina Nazarenko François Lévy: Semantic Annotation in Specific Domains with rich Ontologies (in French). In 20ème conférence du Traitement Automatique du Langage Naturel, 2013. To appear.
BibTeX entry  Abstract 

Yue Ma and Julian Mendez: High Quality Data Generation: An Ontology Reasoning based Approach. In International Workshop on Artificial Intelligence for Big Data (in conjunction with IJCAI'13), 2013. To appear.
BibTeX entry  Abstract 

Francisco Martin-Recuerda and Dirk Walther: Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. In Chiara Del Vescovo, Torsten Hahmann, David Pearce, and Dirk Walther, editors, Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013, volume 1081 of CEUR Workshop Proceedings. CEUR-WS.org, 2013.
BibTeX entry  Paper (PDF) 

Rafael Peñaloza and Anni-Yasmin Turhan: Instance-based Non-standard Inferences in EL with Subjective Probabilities. In Fernando Bobillo, Paulo C. G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, number 7123 in Lecture Notes in Computer Science, pages 80–98. Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag  (The final publication is available at link.springer.com

Rafael Peñaloza and Tingting Zou: Rough EL Classification. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, pages 415–427, 2013.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Tingting Zou: Roughening the EL Envelope. In P. Fontaine, C. Ringeissen, and R. A. Schmidt, editors, Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, pages 71–86. Nancy, France, Springer-Verlag, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Uwe Ryssel, Felix Distel, and Daniel Borchmann: Fast algorithms for implication bases and attribute exploration using proper premises. Annals of Mathematics and Artificial Intelligence, Special Issue 65:1–29, 2013.
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Veronika Thost, Konrad Voigt, and Daniel Schuster: Query Matching for Report Recommendation. In Proceedings of the 22Nd ACM International Conference on Conference on Information and Knowledge Management, CIKM '13, pages 1391–1400. San Francisco, California, USA, ACM, 2013.
BibTeX entry  Abstract  Paper (PDF) 

George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, and Michael Schroeder: Learning Formal Definitions for Biomedical Concepts. In Kavitha Srinivas and Simon Jupp, editors, Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013.
BibTeX entry  Abstract  Paper (PDF) 

Anni-Yasmin Turhan: Introductions to Description Logics - A Guided Tour. In Sebastian Rudolph, Georg Gottlob, Ian Horrocks, and Frank van Harmelen, editors, In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School, volume 8067 of Lecture Notes in Computer Science, pages 150–161. Springer, 2013.
BibTeX entry  Abstract 

Anni-Yasmin Turhan and Benjamin Zarrieß: Computing the lcs w.r.t. General EL+ TBoxes. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, and Markus Krötzsch, editors, Proceedings of the 26th International Workshop on Description Logics (DL-2013), CEUR Workshop Proceedings, pages 477–488. Ulm, Germany, CEUR-WS.org, July 2013.
BibTeX entry  Abstract  Paper (PDF) 

Benjamin Zarrieß and Anni-Yasmin Turhan: Most Specific Generalizations w.r.t. General EL-TBoxes. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13). Beijing, China, AAAI Press, 2013.
BibTeX entry  Abstract  Paper (PDF)  ©IJCAI 

Thomas Zerjatke and Monika Sturm: Solving a PSPACE-complete problem by gene assembly. Journal of Logic and Computation, 23(4):897–908, 2013.
BibTeX entry  Abstract  DOI 


2012

Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, and Barbara Morawska: UEL: Unification Solver for EL. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, pages 26–36, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies. In Michael Thielscher and Dongmo Zhang, editors, Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, pages 493–504. Sydney, Australia, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, pages 37–47, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: Computing Minimal EL-unifiers is Hard. In Silvio Ghilardi and Lawrence Moss, editors, Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: Extending Unification in EL Towards General TBoxes. In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pages 568–572. AAAI Press, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: Recent Advances in Unification for the EL Family. In Santiago Escobar, Konstantin Korovin, and Vladimir Rybakov, editors, Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Stefan Borgwardt, and Barbara Morawska: SAT-Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, pages 30–44. Manchester, UK, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Silvio Ghilardi, and Carsten Lutz: LTL over Description Logic Axioms. ACM Trans. Comput. Log., 13(3), 2012.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Martin Knechtel, and Rafael Peñaloza: Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies. Journal of Web Semantics, 12–13:22–40, 2012. Available at http://dx.doi.org/10.1016/j.websem.2011.11.006
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Julian Mendez, and Barbara Morawska: UEL: Unification Solver for the Description Logic EL – System Description. In Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, pages 45–51. Manchester, UK, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader and Alexander Okhotin: Solving language equations and disequations with applications to disunification in description logics and monadic set constraints. In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12), volume 7180 of Lecture Notes in Computer Science, pages 107–121. Mérida, Venezuela, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza: How Fuzzy is my Fuzzy Description Logic?. In Bernhard Gramlich, Dale Miller, and Ulrike Sattler, editors, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, pages 82–96. Manchester, UK, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt, Felix Distel, and Rafael Peñaloza: Gödel Negation Makes Unwitnessed Consistency Crisp. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, pages 103–113, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Barbara Morawska: Finding Finite Herbrand Models. In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, pages 138–152. Mérida, Venezuela, Springer-Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt and Rafael Peñaloza: A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices. In Markus Krötzsch and Umberto Straccia, editors, Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, pages 9–24. Springer, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Stefan Borgwardt and Rafael Peñaloza: Non-Gödel Negation Makes Unwitnessed Consistency Undecidable. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, pages 411–421, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: Undecidability of Fuzzy Description Logics. In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pages 232–242. Rome, Italy, AAAI Press, 2012.
BibTeX entry  Abstract  Paper (PDF)  ©AAAI 

Felix Distel: Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics. In Proceedings of the 9th international conference on concept lattices and their applications (CLA 2012), 2012.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke and Anni-Yasmin Turhan: Optimizations for the role-depth bounded least common subsumer in el+. In Matthew Horridge and Pavel Klinov, editors, Proc. of 9th OWL: Experiences and Directions Workshop (OWLED 2012), 2012.
BibTeX entry  Abstract  Paper (PDF) 

Andreas Ecke and Anni-Yasmin Turhan: Role-depth Bounded Least Common Subsumers for EL+ and ELI. In Yevgeny Kazakhov and Frank Wolter, editors, Proc. of Description Logics Workshop, volume 846 of CEUR, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Weili Fu and Rafael Peñaloza: Adding Context to Tableaux for DLs. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Karsten Lehmann and Rafael Peñaloza: The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices. In Heiko Vogler and Manfred Droste, editors, Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012.
BibTeX entry  Paper (PDF) 

Karsten Lehmann and Anni-Yasmin Turhan: A Framework for Semantic-based Similarity Measures for ELH-Concepts. In Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin, editors, Proceedings of the 13th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, pages 307–319. Springer Verlag, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Frederick Maier, Yue Ma, and Pascal Hitzler: Paraconsistent OWL and Related Logics. In Semantic Web journal, March 2012.
BibTeX entry  Paper (PDF) 

Julian Mendez: jcel: A Modular Rule-based Reasoner. In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), 858, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Guohui Xiao and Yue Ma: Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. In Proceedings of European Conference on Artificial Intelligence (ECAI'12), pages 864–869, 2012.
BibTeX entry  Abstract  Paper (PDF) 

Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, and Mikhail Soutchanski: Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings. Rome, Italy, CEUR-WS.org, June 2012.
BibTeX entry  Abstract  Paper (PDF) 


2011

F. Baader and S. Ghilardi: Unification in Modal and Description Logics. Logic Journal of the IGPL, 19(6):705–730, 2011. Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader: What's new in Description Logics. Informatik-Spektrum, 34(5):434–442, 2011.
BibTeX entry  Abstract  (The final publication is available at link.springer.com

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska: Computing Local Unifiers in the Description Logic EL without the Top Concept. In Franz Baader, Barbara Morawska, and Jan Otop, editors, Proceedings of the 25th International Workshop on Unification (UNIF'11), pages 2–8, 2011.
BibTeX entry  Paper (PDF) 

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska: Unification in the Description Logic EL without the Top Concept. In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, pages 70–84. Wroclaw, Poland, Springer-Verlag, 2011.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, and Barbara Morawska: Unification in the Description Logic EL without the Top Concept. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, pages 26–36, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Rafael Peñaloza: Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?. In Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), pages 1735–1742. IEEE Press, 2011.
BibTeX entry  Abstract  Paper (PDF)  ©IEEE Press 

Franz Baader and Rafael Peñaloza: GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Rafael Peñaloza: On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm. In Cesare Tinelli and Viorica Sofronie-Stokkermans, editors, Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, pages 55–70. Saarbrücken, Germany, Springer-Verlag, 2011.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Daniel Borchmann and Felix Distel: Mining of EL-GCIs. In The 11th IEEE International Conference on Data Mining Workshops. Vancouver, Canada, IEEE Computer Society, 11 December 2011.
BibTeX entry  Abstract  Paper (PDF)  ©IEEE Press 

Stefan Borgwardt and Rafael Peñaloza: Description Logics over Lattices with Multi-valued Ontologies. In Toby Walsh, editor, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), pages 768–773. Barcelona, Spain, AAAI Press, 2011.
BibTeX entry  Abstract  Paper (PDF)  ©IJCAI 

Stefan Borgwardt and Rafael Peñaloza: Finite Lattices Do Not Make Reasoning in ALCI Harder. In Fernando Bobillo et.al., editor, Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, pages 51–62, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: Fuzzy Ontologies over Lattices with T-norms. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, pages 70–80. Barcelona, Spain, CEUR-WS.org, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Borgwardt and Rafael Peñaloza: The Inclusion Problem for Weighted Automata on Infinite Trees. In Pál Dömösi and Szabolcs Iván, editors, Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), pages 108–122. Debrecen, Hungary, College of Nyíregyháza, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Felix Distel: Some Complexity Results about Essential Closed Sets. In Petko Valtchev and Robert J\"aschke, editors, International Conference on Formal Concept Analysis, volume 6628 of LNCS, pages 81–92, 2011.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Felix Distel and Barış Sertkaya: On the complexity of enumerating pseudo-intents. Discrete Applied Mathematics, 159(6):450–466, 2011.
BibTeX entry  Abstract  ©Elsevier 

Eldora, Martin Knechtel, and Rafael Peñaloza: Correcting Access Restrictions to a Consequence More Flexibly. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Hongkai Liu, Carsten Lutz, Maja Milicic, and Frank Wolter: Foundations of instance level updates in expressive description logics. Artificial Intelligence, 175(18):2170–2197, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Julian Mendez, Andreas Ecke, and Anni-Yasmin Turhan: Implementing completion-based inferences for the el-family. In Riccardo Rosati, Sebastian Rudolph, and Michael Zakharyaschev, editors, Proceedings of the international Description Logics workshop. CEUR, 2011.
BibTeX entry  Abstract  Paper (PDF) 

R. Peñaloza and A.-Y. Turhan: A Practical Approach for Computing Generalization Inferences in EL. In Marko Grobelnik and Elena Simperl, editors, Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science. Springer-Verlag, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Uwe Ryssel, Felix Distel, and Daniel Borchmann: Fast Computation of Proper Premises. In Amedeo Napoli and Vilem Vychodil, editors, International Conference on Concept Lattices and Their Applications, pages 101–113. INRIA Nancy – Grand Est and LORIA, 2011.
BibTeX entry  Abstract  Paper (PDF) 

Anni-Yasmin Turhan: Description Logic reasoning for Semantic Web Ontologies – Extended abstract. In Rajendra Akerkar, editor, Proceedings of the first International Conference on Web Intelligence, Mining and Semantics. ACM, 2011.
BibTeX entry  Paper (PDF) 


2010

Franz Baader, Bernhard Beckert, and Tobias Nipkow: Deduktion: von der Theorie zur Anwendung. Informatik-Spektrum, 33(5):444–451, 2010.
BibTeX entry  (The final publication is available at link.springer.com

Franz Baader, Meghyn Bienvenu, Carsten Lutz, and Frank Wolter: Query and Predicate Emptiness in Description Logics. In Fangzhen Lin and Ulrike Sattler, editors, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010). AAAI Press, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Marcel Lippmann, and Hongkai Liu: Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. In Christian G. Fermüller and Andrei Voronkov, editors, Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), pages 82–96. Yogyakarta, Indonesia, Springer-Verlag, October 2010.
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Franz Baader, Hongkai Liu, and Anees ul Mehdi: Verifying Properties of Infinite Sequences of Description Logic Actions. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 53–58. IOS Press, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Carsten Lutz, and Anni-Yasmin Turhan: Small is again Beautiful in Description Logics. KI – Künstliche Intelligenz, 24(1):25–33, 2010.
BibTeX entry  Paper (PDF)  (The final publication is available at link.springer.com

Franz Baader and Barbara Morawska: SAT Encoding of Unification in EL. In Christian G. Fermüller and Andrei Voronkov, editors, Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), pages 97–111. Yogyakarta, Indonesia, Springer-Verlag, October 2010.
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Franz Baader and Barbara Morawska: Unification in the Description Logic EL. Logical Methods in Computer Science, 6(3), 2010. Special Issue of the 20th International Conference on Rewriting Techniques and Applications; also available at http://arxiv.org/abs/1006.2289
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Rafael Peñaloza: Automata-based Axiom Pinpointing. Journal of Automated Reasoning, 45(2):91–129, 2010. Special Issue: Selected Papers from IJCAR 2008
BibTeX entry  Abstract  Paper (PDF)  (The final publication is available at link.springer.com

Franz Baader and Rafael Peñaloza: Axiom Pinpointing in General Tableaux. Journal of Logic and Computation, 20(1):5–34, 2010. Special Issue: Tableaux and Analytic Proof Methods
BibTeX entry  Abstract  Paper (PDF) 

Felix Distel: An Approach to Exploring Description Logic Knowledge Bases. In Barış Sertkaya and Léonard Kwuida, editors, Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, pages 209–224. Springer, 2010.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Felix Distel: Hardness of Enumerating Pseudo-Intents in the Lectic Order. In Barış Sertkaya and Léonard Kwuida, editors, Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, pages 124–137. Springer, 2010.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Martin Knechtel and Rafael Peñaloza: A Generic Approach for Correcting Access Restrictions to a Consequence. In Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette ten Teije, Heiner Stuckenschmidt, Liliana Cabral, and Tania Tudorache, editors, Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, pages 167–182, 2010.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Martin Knechtel and Rafael Peñaloza: Correcting Access Restrictions to a Consequence. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR-WS, pages 220–231, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Martin Knechtel and Heiner Stuckenschmidt: Query-Based Access Control for Ontologies. In P. Hitzler and T. Lukasiewicz, editors, Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of Lecture Notes in Computer Science, pages 73–87, 2010.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors: Proceedings of the First International Workshop on Uncertainty in Description Logics, number 613 in CEUR, July 2010. UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/
BibTeX entry  Abstract 

Rafael Peñaloza: Using Sums-of-Products for Non-standard Reasoning. In A.-H. Dediu, H. Fernau, and C. Martín-Vide, editors, Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, pages 488–499. Springer-Verlag, 2010.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Rafael Peñaloza: Wie findet man die verantwortliche Axiome? Axiom-Pinpointing in Beschreibungslogiken. In Ausgezeichnete Informatikdissertationen 2009, volume D10 of Lecture Notes in Informatics, pages 181–190. Germany, Gesellschaft für Informatik, 2010. In german
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Barış Sertkaya: Complexity of Axiom Pinpointing in the DL-Lite Family. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Barış Sertkaya: Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 29–34. IOS Press, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Barış Sertkaya: On the Complexity of Axiom Pinpointing in the EL Family of Description Logics. In Fangzhen Lin, Ulrike Sattler, and Miroslaw Truszczynski, editors, Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Anni-Yasmin Turhan: Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes. In V. Haarslev, D. Toman, and G. Weddell, editors, Proc. of the 2010 Description Logic Workshop (DL'10), volume 573 of CEUR-WS, 2010.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Anni-Yasmin Turhan: Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. In Thomas Lukasiewicz, Rafael Peñaloza, and Anni-Yasmin Turhan, editors, Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Anni-Yasmin Turhan: Reasoning and Explanation in EL and in Expressive Description Logics. In Uwe Aßmann, Andreas Bartho, and Christian Wende, editors, Reasoning Web, number 6325 in LNCS, pages 1–27. Springer, 2010.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 


2009

Franz Baader: Description Logics. In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, pages 1–39. Springer–Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, and Rolf Schwitter: A Novel Architecture for Situation Awareness Systems. In Martin Giese and Arild Waaler, editors, Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2009), volume 5607 of Lecture Notes in Computer Science, pages 77–92. Springer-Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Andreas Bauer, and Marcel Lippmann: Runtime Verification Using a Temporal Description Logic. In Silvio Ghilardi and Roberto Sebastiani, editors, Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Andreas Bauer, and Alwen Tiu: Matching Trace Patterns with Regular Policies. In A.H. Dediu, A.M. Ionescu, and C. Martin-Vide, editors, Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, pages 105–116. Springer-Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader and Felix Distel: Exploring Finite Models in the Description Logic ELgfp. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, pages 146–161. Springer Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Martin Knechtel, and Rafael Peñaloza: A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms. In Abraham Bernstein et al., editor, Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 49–64, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader and Barbara Morawska: Unification in the Description Logic EL. In Ralf Treinen, editor, Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, pages 350–364. Springer-Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Stefan Schulz, Kent Spackmann, and Bontawee Suntisrivaraporn: How Should Parthood Relations be Expressed in SNOMED CT?. In Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), 2009.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Barış Sertkaya: Usability Issues in Description Logic Knowledge Base Completion. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, pages 1–21. Springer Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Frithjof Dau and Martin Knechtel: Access Policy Design Supported by FCA Methods. In Frithjof Dau and Sebastian Rudolph, editors, Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, pages 141–154, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, and Michael Thielscher: Putting ABox Updates into Action. In Silvio Ghilardi and Roberto Sebastiani, editors, The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, pages 149–164. Springer-Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, and Michael Thielscher: Putting ABox Updates into Action. In Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009.
BibTeX entry  Abstract  Paper (PDF) 

Matthias Heinrich, Antje Boehm-Peters, and Martin Knechtel: A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository. In Uwe M. Borghoff and Boris Chidlovskii, editors, Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng 2009), pages 43–46, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Kay Kadner, Gerald Huebsch, Martin Knechtel, Thomas Springer, and Christoph Pohl: Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, chapter Platform Support for Multimodality on Mobile Devices, pages 75–105. IGI Global, 2009.
BibTeX entry  Abstract 

Julian Mendez and Boontawee Suntisrivaraporn: Reintroducing CEL as an OWL 2 EL Reasoner. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza: Reasoning With Weighted Ontologies. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza: Using Tableaux and Automata for Pinpointing in EL. In Valentin Goranko, editor, TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza and Barış Sertkaya: Axiom Pinpointing is Hard. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, and Martin Boeker: SNOMED reaching its adolescence: Ontologists' and logicians' health check. International Journal of Medical Informatics, 78(Supplement 1):S86–S94, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Barış Sertkaya: OntoComP System Description. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors, Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009.
BibTeX entry  Abstract  Paper (PDF) 

Barış Sertkaya: OntoComP: A Protege Plugin for Completing OWL Ontologies. In Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, pages 898–902. Springer Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Barış Sertkaya: Some Computational Problems Related to Pseudo-intents. In Sébastien Ferré and Sebastian Rudolph, editors, Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, pages 130–145. Springer Verlag, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Barış Sertkaya: Towards the Complexity of Recognizing Pseudo-intents. In Frithjof Dau and Sebastian Rudolph, editors, Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), pages 284–292, 2009.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Thomas Springer and Anni-Yasmin Turhan: Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations. Journal of Ambient Intelligence and Smart Environments, 1(3):235–259, 2009.
BibTeX entry  Abstract 


2008

Franz Baader, Sebastian Brandt, and Carsten Lutz: Pushing the EL Envelope Further. In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Felix Distel: A Finite Basis for the Set of EL-Implications Holding in a Finite Model. In Raoul Medina and Sergei Obiedkov, editors, Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, pages 46–61. Springer, 2008.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Franz Baader, Silvio Ghilardi, and Carsten Lutz: LTL over Description Logic Axioms. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Silvio Ghilardi, and Carsten Lutz: LTL over Description Logic Axioms. In Proceedings of the 21st International Workshop on Description Lo  gics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Jan Hladik, and Rafael Peñaloza: Automata Can Show PSPACE Results for Description Logics. Information and Computation, Special Issue: First International Conference on Language and Automata Theory and Applications (LATA'07), 206(9–10):1045–1056, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Novak Novakovic, and Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader and Rafael Peñaloza: Automata-Based Axiom Pinpointing. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, pages 226–241. Springer, 2008.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader and Boontawee Suntisrivaraporn: Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+. In Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Meghyn Bienvenu: Complexity of Abduction in the EL Family of Lightweight Description Logics. In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08), pages 220–230. AAAI Press, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Meghyn Bienvenu: Prime Implicate Normal Form for ALC Concepts. In Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), pages 412–417. AAAI Press, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler: Answering conjunctive queries in the SHIQ description logic. Journal of Artificial Intelligence Research, 31:150–197, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Christoph Haase and Carsten Lutz: Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 25–29. IOS Press, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Matthias Heinrich, Antje Boehm-Peters, and Martin Knechtel: MoDDo - a tailored documentation system for model-driven software development. In ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, pages 321–324, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Miki Hermann and Barış Sertkaya: On the Complexity of Computing Generators of Closed Sets. In Raoul Medina and Sergei A. Obiedkov, editors, Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Computer Science, pages 158–168. Springer Verlag, 2008.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Martin Knechtel: Access restriction inside ontologies. In Rainer Ruggaber, editor, I-ESA'08: Proceedings of the 1st Internet of Services Doctoral Symposium 2008 at International Conference on Interoperability of Enterprise Systems and Applications, volume 374 of CEUR Workshop Proceedings, ISSN 1613-0073, 2008.
BibTeX entry  Paper (PDF) 

Martin Knechtel: Access rights and collaborative ontology integration for reuse across security domains. In Philippe Cudré-Mauroux, editor, Proceedings of the ESWC 2008 Ph.D. Symposium, volume 358 of CEUR Workshop Proceedings, ISSN 1613-0073, pages 36–40, 2008.
BibTeX entry  Paper (PDF) 

Martin Knechtel and Jan Hladik: RBAC Authorization Decision with DL Reasoning. In ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, pages 169–176, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Martin Knechtel, Jan Hladik, and Frithjof Dau: Using OWL DL Reasoning to decide about authorization in RBAC. In Catherine Dolbear, Alan Ruttenberg, and Ulrike Sattler, editors, OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, volume 432 of CEUR Workshop Proceedings, 2008.
BibTeX entry  Paper (PDF) 

Martin Knechtel and Daniel Schuster: Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web. In Proceedings of GeNeMe'08 Workshop, 2008. In German.
BibTeX entry  Paper (PDF) 

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter: CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL. In Kendall Clark and Peter F. Patel-Schneider, editors, In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter: Formal Properties of Modularisation. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNCS, pages 179–193. Springer, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, pages 55–59. IOS Press, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Boris Konev, Carsten Lutz, Dirk Walther, and Frank Wolte r: Logical Difference and Module Extraction with CEX and MEX. In Proceedings of the 21st International Workshop on Description Lo  gics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Hongkai Liu, Carsten Lutz, and Maja Milicic: The Projection Problem for EL Actions. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Carsten Lutz: The Complexity of Conjunctive Query Answering in Expressive Description Logics. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), number 5195 in LNAI, pages 179–193. Springer, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Carsten Lutz: Two Upper Bounds for Conjunctive Query Answering in SHIQ. In Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Carsten Lutz, Frank Wolter, and Michael Zakharyaschev: Temporal Description Logics: A Survey. In Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Rafael Peñaloza: Automata-based Pinpointing for DLs. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Schulz, Kornél Markó, and Boontawee Suntisrivaraporn: Formal representation of complex SNOMED CT expressions. BMC Medical Informatics and Decision Making, 8(1):S9, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Barış Sertkaya: Explaining User Errors in Description Logic Knowledge Base Completion. In Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), 2008.
BibTeX entry  Abstract  Paper (PDF) 

Barış Sertkaya: Explaining User Errors in Knowledge Base Completion. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008.
BibTeX entry  Abstract  Paper (PDF) 

Boontawee Suntisrivaraporn: Empirical evaluation of reasoning in lightweight DLs on life science ontologies. In Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08), 2008.
BibTeX entry  Abstract  Paper (PDF) 

Boontawee Suntisrivaraporn: Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies. In Sean Bechhofer, Manfred Hauswirth, Joerg Hoffmann, and Manolis Koubarakis, editors, Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science, pages 230–244. Springer-Verlag, 2008.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, and Peter Haase: A Modularization-based Approach to Finding All Justifications for OWL DL Entailments. In John Domingue and Chutiporn Anutariya, editors, Proceedings of the 3th Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture Notes in Computer Science, pages 1–15. Springer-Verlag, 2008.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 


2007

A. Artale, R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev: Temporalising Tractable Description Logics. In Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Alessandro Artale, Carsten Lutz, and David Toman: A Description Logic of Change. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 218–223. AAAI Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, editor: 18th International Conference on Rewriting Techniques and Applications (RTA 2007). Springer-Verlag, 2007.
BibTeX entry  Abstract 

F. Baader and S. Ghilardi: Connecting Many-Sorted Theories. The Journal of Symbolic Logic, 72(2):535–583, 2007.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, J. Hladik, and R. Peñaloza: Blocking Automata for PSPACE DLs. In D. Calvanese, E. Franconi, and S. Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics, CEUR-WS, 2007.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, J. Hladik, and R. Peñaloza: SI! Automata Can Show PSPACE Results for Description Logics. In C. Martin-Vide, editor, Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07), 2007.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

F. Baader, I. Horrocks, and U. Sattler: Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, pages 135–179. Elsevier, 2007.
BibTeX entry  Abstract 

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Christine Golbreich, Aditya Kalyanpur, and Bijan Parsia, editors, Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007). CEUR-WS, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Bernhard Ganter, Ulrike Sattler, and Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Carsten Lutz, and Boontawee Suntisrivaraporn: Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?. In Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), 2007. To appear
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Franz Baader and Rafael Peñaloza: Axiom Pinpointing in General Tableaux. In N. Olivetti, editor, Proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2007, volume 4548 of Lecture Notes in Computer Science, pages 11–27. Aix-en-Provence, France, Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. In Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, pages 52–67. Osnabrück, Germany, Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Franz Baader, Rafael Peñaloza, and Boontawee Suntisrivaraporn: Pinpointing in the Description Logic EL. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Barış Sertkaya, and Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. Journal of Applied Logic, 5(3):392–420, 2007.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Balder ten Cate and Carsten Lutz: Query Containment in Very Expressive XPath dialects. In Leonid Libkin, editor, 26th ACM Symposium on Principles of Database Systems (PODS'07), pages 73–82. ACM Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler: Answering conjunctive queries in the SHIQ description logic. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 299–404. AAAI Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Göller, Markus Lohrey, and Carsten Lutz: PDL with Intersection and Converse is 2EXP-complete. In Helmut Seidl, editor, Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science, pages 198–212. Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF) 

A. Krisnadhi and C. Lutz: Data Complexity in the EL family of DLs. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. To appear.
BibTeX entry  Abstract  Paper (PDF) 

Adila Krisnadhi and Carsten Lutz: Data Complexity in the EL family of Description Logics. In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, pages 333–347. Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF) 

C. Löding, C. Lutz, and O. Serre: Propositional Dynamic Logic with Recursive Programs. Journal of Logic and Algebraic Programming, 73:51–69, 2007.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz: Inverse Roles Make Conjunctive Queries Hard. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007. To appear.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz and M. Milicic: A Tableau Algorithm for DLs with Concrete Domains and GCIs. Journal of Automated Reasoning, 38(1–3):227–259, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Carsten Lutz, Dirk Walther, and Frank Wolter: Conservative Extensions in Expressive Description Logics. In Manuela Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 453–458. AAAI Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Carsten Lutz and Frank Wolter: Conservative Extensions in the Lightweight Description Logic EL. In Frank Pfenning, editor, Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, pages 84–99. Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

Maja Milicic: Complexity of Planning in Action Formalisms Based on Description Logics. In Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence. Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Maja Milicic: Planning in Action Formalisms based on DLs: First Results. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Stefan Schulz, Boontawee Suntisrivaraporn, and Franz Baader: SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions. In , editor, Proceedings of The Medinfo 2007 Congress, volume of Studies in Health Technology and Informatics (SHTI-series), page . IOS Press, 2007.
BibTeX entry  Abstract  Paper (PDF) 

Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, and Kent Spackman: Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators. In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, editor, Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), volume of Lecture Notes in Computer Science, page . Springer-Verlag, 2007.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

A.-Y. Turhan and Y. Bong: Speeding up Approximation with Nicer Concepts. In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, S. Tessaris, and A.-Y. Turhan, editors, Proc. of the 2007 Description Logic Workshop (DL 2007), 2007.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 


2006

F. Baader and R. Küsters: Nonstandard Inferences in Description Logics: The Story So Far. In D.M. Gabbay, S.S. Goncharov, and M. Zakharyaschev, editors, Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, pages 1–75. Springer-Verlag, 2006.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader and C. Lutz: Description Logic. In Patrick Blackburn, Johan van Benthem, and Frank Wolter, editors, The Handbook of Modal Logic, pages 757–820. Elsevier, 2006.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, C. Lutz, and B. Suntisrivaraporn: Efficient Reasoning in EL+. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

F. Baader, C. Lutz, and B. Suntisrivaraporn: CEL—A Polynomial-time Reasoner for Life Science Ontologies. In U. Furbach and N. Shankar, editors, Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, pages 287–291. Springer-Verlag, 2006.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader and A. Okhotin: Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations. In Jordi Levy, editor, Proceedings of the 20th International Workshop on Unification, UNIF'06, pages 59–73, 2006.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, Silvio Ghilardi, and Cesare Tinelli: A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Information and Computation, 204(10):1413–1452, 2006.
BibTeX entry  Abstract  Paper (PDF) 

P. Bonatti, C. Lutz, A. Murano, and M. Vardi: The Complexity of Enriched -Calculi. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, and Ingo Wegener, editors, Proccedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, pages 540–551. Springer-Verlag, 2006.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

P. Bonatti, C. Lutz, and F. Wolter: Expressive Non-Monotonic Description Logics Based on Circumscription. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 400–410. AAAI Press, 2006.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz and M.  Milicic: A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Journal of Automated Reasoning. Special Issue on on Automated Reasoning with Analytic Tableaux and Related Methods, 2006. To appear.
BibTeX entry  Abstract  Paper (PDF) 

S. Ghilardi, C. Lutz, and F. Wolter: Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 187–197. AAAI Press, 2006.
BibTeX entry  Abstract  Paper (PDF) 

S. Ghilardi, C. Lutz, F. Wolter, and M. Zakharyaschev: Conservative Extensions in Modal Logics. In Guido Governatori, Ian Hodkinson, and Yde Venema, editors, Advances in Modal Logics Volume 6, pages 187–207. College Publications, 2006.
BibTeX entry  Abstract  Paper (PDF) 

H. Liu, C. Lutz, M. Milicic, and F. Wolter: Description Logic Actions with general TBoxes: a Pragmatic Approach. In Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006.
BibTeX entry  Abstract  Paper (PDF) 

H. Liu, C. Lutz, M. Milicic, and F. Wolter: Reasoning about Actions using Description Logics with general TBoxes. In Michael Fisher, Wiebe van der Hoek, Boris Konev, and Alexei Lisitsa, editors, Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, pages 266–279. Springer-Verlag, 2006.
BibTeX entry  Abstract  Paper (PDF) 

Jan Hladik and Rafael Peñaloza: PSPACE Automata for Description Logics. In B. Parsia, U. Sattler, and D. Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of CEUR-WS, 2006.
BibTeX entry  Abstract  Paper (PDF) 

H. Liu, C. Lutz, M. Milicic, and F. Wolter: Updating Description Logic ABoxes. In Patrick Doherty, John Mylopoulos, and Christopher Welty, editors, Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), pages 46–56. AAAI Press, 2006.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz: Complexity and Succinctness of Public Announcement Logic. In Peter Stone and Gerhard Weiss, editors, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), pages 137–144. Association for Computing Machinery (ACM), 2006.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz, D. Walther, and F. Wolter: Quantitative Temporal Logics: PSpace and below. Information and Computation, 205(1):99–123, 2006.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and F. Wolter: Modal Logics of Topological Relations. Logical Methods in Computer Science, 2(2), 2006.
BibTeX entry  Abstract  Paper (PS) 

Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, and Sergio Tessaris: Reasoning Support for Ontology Design. In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006. To appear
BibTeX entry  Abstract  Paper (PDF) 

S. Brandt: Standard and Non-standard reasoning in Description Logics. Institute for Theoretical Computer Science, TU Dresden, Germany, 2006.
BibTeX entry  Abstract  Paper (PDF) 

Barış Sertkaya: Computing the hierarchy of conjunctions of concept names and their negations in a Description Logic knowledge base using Formal Concept Analysis (ICFCA 2006). In Bernhard Ganter and Leonard Kwuida, editors, Contributions to ICFCA 2006, pages 73–86. Dresden, Germany, Verlag Allgemeine Wissenschaft, 2006.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, and Timo Weithöner: DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, and Evan Wallace, editors, In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Anni-Yasmin Turhan, Thomas Springer, and Michael Berger: Pushing Doors for Modeling Contexts with OWL DL –a Case Study. In Jadwiga Indulska and Daniela Nicklas, editors, Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06). IEEE Computer Society, March 2006.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

D. Walther, C. Lutz, F. Wolter, and M. Wooldridge: ATL is Indeed ExpTime-complete. Journal of Logic and Computation, 16(6):765–787, 2006.
BibTeX entry  Abstract  Paper (PDF) 


2005

F. Baader, S. Brandt, and C. Lutz: Pushing the EL Envelope. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05. Edinburgh, UK, Morgan-Kaufmann Publishers, 2005.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader and S. Ghilardi: Connecting Many-Sorted Structures and Theories through Adjoint Functions. In Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05), volume 3717 of Lecture Notes in Artificial Intelligence. Vienna (Austria), Springer-Verlag, 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader and S. Ghilardi: Connecting Many-Sorted Theories. In Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, pages 278–294. Tallinn (Estonia), Springer-Verlag, 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader, I. Horrocks, and U. Sattler: Description Logics as Ontology Languages for the Semantic Web. In D. Hutter and W. Stephan, editors, Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, pages 228–248. Springer-Verlag, 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter: A Description Logic Based Approach to Reasoning about Web Services. In Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter: Integrating Description Logics and Action Formalisms: First Results. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter: Integrating Description Logics and Action Formalisms: First Results. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005.
BibTeX entry  Abstract  Paper (PDF) 

F. Baader, C. Lutz, and B. Suntisrivaraporn: Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?. In Proceedings of the Methods for Modalities Workshop (M4M-05), 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

F. Baader and A. Voronkonv, editors: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004. Montevideo, Uruguay, Springer-Verlag, 2005.
BibTeX entry  Abstract 

Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen: A New n-ary Existential Quantifier in Description Logics. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, pages 18–33. Springer-Verlag, 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Franz Baader, Carsten Lutz, Eldar Karabaev, and Manfred Theißen: A New n-ary Existential Quantifier in Description Logics. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Sebastian Brandt and Jörg Model: Subsumption in EL w.r.t. hybrid TBoxes. In Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2005.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

J. Hladik: A Generator for Description Logic Formulas. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proceedings of DL 2005. CEUR-WS, 2005. Available from ceur-ws.org
BibTeX entry  Abstract  Paper (PDF) 

M. Lange and C. Lutz: 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection. Journal of Symbolic Logic, 70(5):1072–1086, 2005.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: PDL with Intersection and Converse is Decidable. In Annual Conference of the European Association for Computer Science Logic CSL'05, LNCS. Springer Verlag, 2005.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, C. Areces, I. Horrocks, and U. Sattler: Keys, Nominals, and Concrete Domains. Journal of Artificial Intelligence Research, 23:667–726, 2005.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and M. Milicic: A Tableau Algorithm for DLs with Concrete Domains and GCIs. In Proceedings of the 2005 International Workshop on Description Logics (DL2005), number 147 in CEUR-WS, 2005.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz and M. Milicic: A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. In Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI. Koblenz, Germany, Springer, 2005.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

C. Lutz, U. Sattler, and L. Tendera: The Complexity of Finite Model Reasoning in Description Logics. Information and Computation, 199:132–171, 2005.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and D. Walther: PDL with Negation of Atomic Programs. Journal of Applied Non-Classical Logic, 15(2):189–214, 2005.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, D. Walther, and F. Wolter: Quantitative Temporal Logics: PSpace and below. In Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning. Burlington, VT, USA, IEEE Computer Society Press, 2005.
BibTeX entry  Abstract  Paper (PDF) 

Anni-Yasmin Turhan: Pushing the SONIC border — SONIC 1.0. In Reinhold Letz, editor, FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005. http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-13-2005.pdf
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 


2004

Mitchell A. Harris and Edward R. Reingold: Line Drawing, Leap Years, and Euclid. ACM Computing Surveys, 36:68–80, 2004.
BibTeX entry  Abstract  Paper (PDF) 

A. Artale and C. Lutz: A Correspondence between Temporal Description Logics. Journal of Applied Non-Classical Logic, 14(1–2):209–233, 2004.
BibTeX entry  Abstract  Paper (PS) 

F. Baader: A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL. In J. Hromkovic and M. Nagl, editors, Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, pages 177–188. Bad Honnef, Germany, Springer-Verlag, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader, S. Ghilardi, and C. Tinelli: A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, pages 183–197. Springer-Verlag, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader, I. Horrocks, and U. Sattler: Description Logics. In S. Staab and R. Studer, editors, Handbook on Ontologies, International Handbooks in Information Systems, pages 3–28. Berlin, Germany, Springer–Verlag, 2004.
BibTeX entry  Abstract 

F. Baader and B. Sertkaya: Applying Formal Concept Analysis to Description Logics. In P. Eklund, editor, Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, pages 261–286. Springer, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

F. Baader, B. Sertkaya, and A.-Y. Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. In José Júlio Alferes and João Alexandre Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, pages 400–412. Lisbon, Portugal, Springer-Verlag, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Franz Baader, Baris Sertkaya, and Anni-Yasmin Turhan: Computing the Least Common Subsumer w.r.t. a Background Terminology. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Sebastian Brandt: On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
BibTeX entry  Abstract  Paper (PDF) 

Sebastian Brandt: Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?. In R. López de Mantáras and L. Saitta, editors, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pages 298–302. IOS Press, 2004.
BibTeX entry  Abstract  Paper (PDF) 

Sebastian Brandt and Hongkai Liu: Implementing Matching in ALN. In Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, September 2004.
BibTeX entry  Abstract  Paper (PDF) 

C. Lutz and M. Milicic: Description Logics with Concrete Domains and Functional Dependencies. In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 2004. To appear
BibTeX entry  Abstract  Paper (PS) 

T. Hinze and M. Sturm: Rechnen mit DNA - Eine Einführung in Theorie und Praxis. ISBN 3-486-27530-5, R. Oldenbourg Wissenschaftsverlag München, 2004.
BibTeX entry  Abstract  Paper (PDF) 

J. Hladik: A Tableau System for the Description Logic SHIO. In Ulrike Sattler, editor, Contributions to the Doctoral Programme of IJCAR 2004. CEUR, 2004. Available from ceur-ws.org
BibTeX entry  Abstract  Paper (PS) 

J. Hladik: Spinoza's Ontology. In G. Büchel, B. Klein, and T. Roth-Berghofer, editors, Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), number RR-04-02 in DFKI Research Reports, 2004.
BibTeX entry  Abstract  Paper (PDF) 

J. Hladik and J. Model: Tableau Systems for SHIO and SHIQ. In V. Haarslev and R. Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL 2004). CEUR, 2004. Available from ceur-ws.org
BibTeX entry  Abstract  Paper (PDF) 

E. Karabaev and C. Lutz: Mona as a DL Reasoner. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
BibTeX entry  Abstract  Paper (PS) 

R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyaschev: Temporal Tableaux. Studia Logica, 76(1):91–134, 2004.
BibTeX entry  Abstract  Paper (PS) 

O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev: E-Connections of Abstract Description Systems. Artificial Intelligence, 156(1):1–73, 2004.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: Combining Interval-based Temporal Reasoning with General TBoxes. Artificial Intelligence, 152(2):235–274, 2004.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and D. Walther: PDL with Negation of Atomic Programs. In Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence. Springer Verlag, 2004. To appear
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

C. Lutz and F. Wolter: Modal Logics of Topological Relations. In Proceedings of Advances in Modal Logics 2004, 2004.
BibTeX entry  Abstract  Paper (PS) 

Carsten Lutz: NExpTime-complete Description Logics with Concrete Domains. ACM Transactions on Computational Logic, 5(4):669–705, 2004.
BibTeX entry  Abstract 

Baris Sertkaya and Halit Oguztuzun: Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL. In C. Aykanat, T. Dayar, and I. Korpeoglu, editors, Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004), volume 3280 of Lecture Notes in Computer Science, pages 976–985. Springer, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Anni-Yasmin Turhan and Christian Kissig: Sonic—Non-standard Inferences go OilEd. In D. Basin and M. Rusinowitch, editors, Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Anni-Yasmin Turhan and Christian Kissig: Sonic—System Description. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 


2003

F. Baader: Description Logic Terminology. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 485–495. Cambridge University Press, 2003.
BibTeX entry  Abstract 

F. Baader, J. Hladik, C. Lutz, and F. Wolter: From Tableaux to Automata for Description Logics. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, pages 1–32. Springer, 2003.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader, R Küsters, and F. Wolter: Extensions to Description Logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 219–261. Cambridge University Press, 2003.
BibTeX entry  Abstract 

F. Baader and W. Nutt: Basic Description Logics. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 43–95. Cambridge University Press, 2003.
BibTeX entry  Abstract 

F. Baader and U. Sattler: Description Logics with Aggregates and Concrete Domains. Information Systems, 28(8):979–1004, 2003.
BibTeX entry  Abstract  Paper (PS)  Free reprint 

Franz Baader: Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics. In Proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial Intelligence, pages 117–130. Springer-Verlag, 2003.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

Franz Baader: Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles. In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 319–324. Morgan Kaufman, 2003.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader, editor: Proceedings of the 19th International Conference on Automated Deduction CADE-19. Miami Beach, FL, USA, Springer-Verlag, 2003.
BibTeX entry 

Franz Baader: Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PDF) 

Franz Baader: Terminological Cycles in a Description Logic with Existential Restrictions. In Georg Gottlob and Toby Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pages 325–330. Morgan Kaufmann, 2003.
BibTeX entry  Abstract 

Franz Baader: The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics. In Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial Intelligence, pages 64–78. Hamburg, Germany, Springer-Verlag, 2003.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
BibTeX entry  Abstract 

Franz Baader, Jan Hladik, Carsten Lutz, and Frank Wolter: From Tableaux to Automata for Description Logics. Fundamenta Informaticae, 57:1–33, 2003.
BibTeX entry  Abstract  Paper (PS) 

Sebastian Brandt: Implementing Matching in ALE—First Results. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

Sebastian Brandt and Anni-Yasmin Turhan: Computing least common subsumers for FLE+. In Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PS) 

Sebastian Brandt, Anni-Yasmin Turhan, and Ralf Küsters: Extensions of Non-standard Inferences to Description Logics with transitive Roles. In Moshe Vardi and Andrei Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science. Springer, 2003.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

Nachum Dershowitz and Mitchell A. Harris: Enumerating Satisfiable Propositional Formulae. In Eurocomb, 2003.
BibTeX entry  Abstract  Paper (PDF) 

J. Hladik and U. Sattler: A Translation of Looping Alternating Automata to Description Logics. In Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
BibTeX entry  Paper (PS)  ©Springer-Verlag 

Jan Hladik: Reasoning about Nominals with FaCT and RACER. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks and U. Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. In Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan-Kaufmann Publishers, 2003.
BibTeX entry  Paper (PDF) 

O. Kutz, C. Lutz, F. Wolter, and M. Zakharyaschev: E-connections of Description Logics. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: Description Logics with Concrete Domains—A Survey. In Advances in Modal Logics Volume 4. World Scientific Publishing Co. Pte. Ltd., 2003.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, C. Areces, I. Horrocks, and U. Sattler: Keys, Nominals, and Concrete Domains. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03. Acapulco, Mexico, Morgan-Kaufmann Publishers, 2003.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, U. Sattler, and L. Tendera: The Complexity of Finite Model Reasoning in Description Logics. In Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

C. Lutz, U.Sattler, and L. Tendera: Finite Model reasoning in ALCQI is ExpTime-complete. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, F. Wolter, and M. Zakharyaschev: A tableau algorithm for reasoning about concepts and similarity. In Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI. Rome,Italy, Springer, 2003.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

C. Lutz, F. Wolter, and M. Zakharyaschev: Reasoning about concepts and similarity. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003.
BibTeX entry  Abstract  Paper (PS) 

U. Sattler: Description Logics for Ontologies. In Proc. of the International Conference on Conceptual Structures (ICCS 2003), volume 2746 of LNAI. Springer Verlag, 2003.
BibTeX entry  Paper (PS)  ©Springer-Verlag 

U. Sattler, D. Calvanese, and R. Molitor: Relationship with other Formalisms. In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation, and Applications, pages 137–177. Cambridge University Press, 2003.
BibTeX entry  Abstract 


2002

C. Areces and C. Lutz: Concrete Domains and Nominals United.. In Carlos Areces, Patrick Blackburn, Maarten Marx, and Ulrike Sattler, editors, Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02), 2002.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, I. Horrocks, and U. Sattler: Description Logics for the Semantic Web. KI – Künstliche Intelligenz, 4, 2002.
BibTeX entry  Abstract 

F. Baader and R. Küsters: Unification in a Description Logic with Inconsistency and Transitive Closure of Roles. In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002 International Workshop on Description Logics, 2002. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-53/
BibTeX entry  Abstract  Paper (PS) 

F. Baader, C. Lutz, H. Sturm, and F. Wolter: Fusions of Description Logics and Abstract Description Systems. Journal of Artificial Intelligence Research (JAIR), 16:1–58, 2002.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and C. Tinelli: Combining Decision Procedures for Positive Theories Sharing Constructors. In S. Tison, editor, Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA-02), volume 2378 of Lecture Notes in Computer Science, pages 338–352. Copenhagen, Denmark, Springer-Verlag, 2002.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and C. Tinelli: Deciding the Word Problem in the Union of Equational Theories. Information and Computation, 178(2):346–390, 2002.
BibTeX entry  Abstract  Free reprint 

F. Baader and A.-Y. Turhan: On the problem of computing small representations of least common subsumers. In Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence. Aachen, Germany, Springer–Verlag, 2002.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

S. Brandt, R. Küsters, and A.-Y. Turhan: Approximating ALCN-Concept Descriptions. In Proceedings of the 2002 International Workshop on Description Logics, 2002.
BibTeX entry  Abstract  Paper (PS) 

S. Brandt, R. Küsters, and A.-Y. Turhan: Approximation and Difference in Description Logics. In D. Fensel, F. Giunchiglia, D. McGuiness, and M.-A. Williams, editors, Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 203–214. San Francisco, CA, Morgan Kaufman, 2002.
BibTeX entry  Abstract  Paper (PS) 

S. Brandt and A.-Y. Turhan: An Approach for Optimized Approximation. In Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS. Aachen, Germany, RWTH Aachen, September 2002. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/
BibTeX entry  Abstract  Paper (PS) 

S. Demri and U. Sattler: Automata-Theoretic Decision Procedures for Information Logics. Fundamenta Informaticae, 53(1):1–22, 2002.
BibTeX entry  Paper (PS) 

T. Hinze: Universelle Modelle und ausgewählte Algorithmen des DNA-Computing. Technische Universität Dresden, 2002.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

T. Hinze, U. Hatnik, and M. Sturm: An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification. In N. Jonoska and N.C. Seeman, editors, DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7) Tampa, FL, USA, 2001, volume 2340 of Series Lecture Notes in Computer Science. Springer Verlag, 2002.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS)  ©Springer-Verlag 

J. Hladik: Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. In U. Egly and C. G. Fermüller, editors, Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2002), volume 2381 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2002.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

J. Hladik: Implementation and evaluation of a tableau algorithm for the Guarded Fragment. In I. Horrocks and S. Tessaris, editors, Proceedings of the 2002 international workshop on description Logics (DL 2002), volume 53 of CEUR, 2002.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks and U. Sattler: Optimised Reasoning for SHIQ. In Proc. of the 15th European Conference on Artificial Intelligence, 2002.
BibTeX entry  Paper (PDF)  Paper (PS) 

O. Kupferman, U. Sattler, and M. Y. Vardi: The Complexity of the Graded mu-Calculus. In Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
BibTeX entry  Paper (PS)  ©Springer-Verlag 

C. Lutz: Adding Numbers to the SHIQ Description Logic—First Results. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). Morgan Kaufman, 2002. To appear
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: Description Logics with Concrete Domains—A Survey. In Advances in Modal Logic 2002 (AiML 2002), 2002. Final version appeared in Advanced in Modal Logic Volume 4, 2003.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. In Proceedings of the 2002 International Workshop on Description Logics, 2002. To appear
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: PSpace Reasoning with the Description Logic ALCF(D). Logic Journal of the IGPL, 10(5):535–568, 2002.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and U. Sattler: A Proposal for Describing Services with DLs. In Proceedings of the 2002 International Workshop on Description Logics, 2002. To appear
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica, 72(2):199–232, 2002.
BibTeX entry  Abstract  Paper (PDF) 

G. Pan, U. Sattler, and M. Y. Vardi: BDD-Based Decision Procedures for K. In Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
BibTeX entry  Paper (PS)  ©Springer-Verlag 


2001

F. Baader, S. Brandt, and R. Küsters: Matching under Side Conditions in Description Logics. In B. Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01, pages 213–218. Seattle, Washington, Morgan Kaufmann, 2001.
BibTeX entry  Abstract 

F. Baader, G. Brewka, and Th. Eiter, editors: KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001). Vienna, Austria, Springer–Verlag, 2001.
BibTeX entry 

F. Baader and R. Küsters: Unification in a Description Logic with Transitive Closure of Roles. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, pages 217–232. Havana, Cuba, Springer-Verlag, 2001.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and P. Narendran: Unification of Concepts Terms in Description Logics. J. Symbolic Computation, 31(3):277–305, 2001.
BibTeX entry  Abstract  Free reprint 

F. Baader and U. Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5–40, 2001.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and K. Schulz: Combining Constraint Solving. In H. Comon, C. Marché, and R. Treinen, editors, Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer–Verlag, 2001. See http://link.springer.de/link/service/series/0558/tocs/t2002.htm
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and W. Snyder: Unification Theory. In J.A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, pages 447–533. Elsevier Science Publishers, 2001. See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/ voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).
BibTeX entry  Abstract  Paper (PS)  Free reprint 

F. Baader and S. Tobies: The Inverse Method Implements the Automata Approach for Modal Satisfiability. In Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, volume 2083 of Lecture Notes in Artificial Intelligence, pages 92–106. Springer-Verlag, 2001.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and A.-Y. Turhan: TBoxes do not yield a compact representation of least common subsumers. In Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001.
BibTeX entry  Abstract  Paper (PS) 

S. Brandt and A.-Y. Turhan: Using Non-standard Inferences in Description Logics — what does it buy me?. In Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), number 44 in CEUR-WS. Vienna, Austria, RWTH Aachen, September 2001. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-44/
BibTeX entry  Abstract  Paper (PS) 

C. Hirsch and S. Tobies: A Tableau Algorithm for the Clique Guarded Fragment. In F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logics Volume 3. Stanford, CSLI Publications, 2001.
BibTeX entry  Abstract  Paper (PS) 

V. Haarslev, R. Möller, and A.-Y. Turhan: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI. Springer Verlag, 2001.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

U. Hatnik, T. Hinze, and M. Sturm: A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation. In V.V. Kluev and N.E. Mastorakis, editors, Proceedings WSES International Conference on Simulation (SIM2001), Malta, 2001.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

J. Hladik: Implementierung eines Entscheidungsverfahrens für das Bewachte Fragment der Prädikatenlogik. RWTH Aachen, Germany, 2001.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks and U. Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: Interval-based Temporal Reasoning with General TBoxes. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence IJCAI-01, pages 89–94. Seattle, Washington, USA, Morgan-Kaufmann Publishers, 2001.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: NExpTime-complete Description Logics with Concrete Domains. In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artifical Intelligence, pages 45–60. Siena, Italy, Springer Verlag, 2001.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and U. Sattler: The Complexity of Reasoning with Boolean Modal Logics. In Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev, editors, Advances in Modal Logics Volume 3. CSLI Publications, Stanford, 2001.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, U. Sattler, and F. Wolter: Description Logics and the Two-Variable Fragment. In D.L. McGuiness, P.F. Pater-Schneider, C. Goble, and R. Möller, editors, Proceedings of the 2001 International Workshop in Description Logics (DL-2001), pages 66–75, 2001. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, U. Sattler, and F. Wolter: Modal Logics and the two-variable fragment. In Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS. Paris, France, Springer Verlag, 2001.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domain. In Rajeev Goré, Alexander Leitsch, and Tobias Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, number 2083 in Lecture Notes in Artifical Intelligence, pages 121–136. Siena, Italy, Springer Verlag, 2001.
BibTeX entry  Abstract  Paper (PS) 

U. Sattler and M. Y. Vardi: The Hybrid mu-Calculus. In R. Goré, A. Leitsch, and T. Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, volume 2083 of LNAI, pages 76–91. Springer Verlag, 2001.
BibTeX entry  Abstract  Paper (PS) 

E.P. Stoschek, M. Sturm, and T. Hinze: DNA-Computing - ein funktionales Modell im laborpraktischen Experiment. Informatik Forschung und Entwicklung, 16(1):35–52, 2001.
BibTeX entry  Abstract  Paper (PDF)  ©Springer-Verlag 

M. Sturm and T. Hinze: Distributed Splicing of RE with 6 Test Tubes. Romanian Journal of Information Science and Technology, 4(1-2):211–234, 2001.
BibTeX entry  Abstract  Paper (PDF)  Paper (PS) 

M. Sturm and T. Hinze: Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu. 2001. Anmeldung als Deutsches Patent, Aktenzeichen 10159886.6, Deutsches Patentamt München
BibTeX entry 

Stephan Tobies: PSPACE Reasoning for Graded Modal Logics. Journal of Logic and Computation, 11(1):85–106, 2001.
BibTeX entry  Abstract  Paper (PS)  Free reprint 

A.-Y. Turhan and R. Molitor: Using lazy unfolding for the computation of least common subsumers. In Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001.
BibTeX entry  Abstract  Paper (PS) 


2000

F. Baader, C. Lutz, H. Sturm, and F. Wolter: Fusions of Description Logics. In F. Baader and U. Sattler, editors, Proceedings of the International Workshop in Description Logics 2000 (DL2000), number 33 in CEUR-WS, pages 21–30. Aachen, Germany, RWTH Aachen, August 2000. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/
BibTeX entry  Abstract  Paper (PS) 

F. Baader and U. Sattler: Tableau Algorithms for Description Logics. In R. Dyckhoff, editor, Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, pages 1–18. St Andrews, Scotland, UK, Springer-Verlag, 2000.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and C. Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. In H. Kirchner and Ch. Ringeissen, editors, Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, pages 257–271. Nancy, France, Springer-Verlag, 2000.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

S. Brandt: Matching under Side Conditions in Description Logics. RWTH Aachen, Germany, 2000.
BibTeX entry  Abstract  Paper (PS) 

C. Hirsch and S. Tobies: A Tableau Algorithm for the Clique Guarded Fragment. In Proceedings of the Workshop Advances in Modal Logic AiML 2000, 2000. Final version appeared in Advanced in Modal Logic Volume 3, 2001.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and R. Küsters: Matching in Description Logics with Existential Restrictions. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), pages 261–272. San Francisco, CA, Morgan Kaufmann Publishers, 2000.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, R. Küsters, and R. Molitor: Rewriting Concepts Using Terminologies. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), pages 297–308. San Francisco, CA, Morgan Kaufmann Publishers, 2000.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and R. Molitor: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis. In B. Ganter and G. Mineau, editors, Conceptual Structures: Logical, Linguistic, and Computational Issues – Proceedings of the 8th International Conference on Conceptual Structures (ICCS2000), volume 1867 of Lecture Notes in Artificial Intelligence, pages 290–303. Springer Verlag, 2000.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

E. Franconi, F. Baader, U. Sattler, and P. Vassiliadis: Multidimensional Data Models and Aggregation. In M. Jarke, M. Lenzerini, Y. Vassilious, and P. Vassiliadis, editors, Fundamentals of Data Warehousing, pages 87–106. Springer-Verlag, 2000.
BibTeX entry 

T. Hinze and M. Sturm: Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation. In R. Freund, editor, Proceedings Theorietag 2000 (TT2000) Wien, 2000.
BibTeX entry  Abstract  Paper (PS) 

Jan Hladik: Implementing the n-ary Description Logic GF1-. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks, U. Sattler, and S. Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239–264, 2000.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks, U. Sattler, and S. Tobies: Reasoning with Individuals for the Description Logic SHIQ. In David MacAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science. Germany, Springer Verlag, 2000.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

I. Horrocks and S. Tobies: Optimisation of Terminological Reasoning. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks and S. Tobies: Reasoning with Axioms: Theory and Practice. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000). San Francisco, CA, Morgan Kaufmann Publishers, 2000.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies: How to decide Query Containment under Constraints using a Description Logic. In Andrei Voronkov, editor, Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), number 1955 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies: How to decide Query Containment under Constraints using a Description Logic. In Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB-2000), 2000.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz: NExpTime-Complete Description Logics with Concrete Domains. In C. Pilière, editor, Proceedings of the ESSLLI-2000 Student Session, August 2000.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and U. Sattler: Mary likes all Cats. In F. Baader and U. Sattler, editors, Proceedings of the 2000 International Workshop in Description Logics (DL2000), number 33 in CEUR-WS, pages 213–226. Aachen, Germany, RWTH Aachen, August 2000. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/
BibTeX entry  Abstract  Paper (PS) 

C. Lutz and U. Sattler: The Complexity of Reasoning with Boolean Modal Logic. In Advances in Modal Logic 2000 (AiML 2000), 2000. Final version appeared in Advanced in Modal Logic Volume 3, 2001.
BibTeX entry 

R. Molitor and C.B. Tresp: Extending Description Logics to Vague Knowledge in Medicine. In P. Szczepaniak, P.J.G. Lisboa, and S. Tsumoto, editors, Fuzzy Systems in Medicine, volume 41 of Studies in Fuzziness and Soft Computing, pages 617–635. Springer Verlag, 2000.
BibTeX entry  Abstract 

U. Sattler: Description Logics for the Representation of Aggregated Objects. In W.Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence. IOS Press, Amsterdam, 2000.
BibTeX entry  Paper (PS) 

E.P. Stoschek, M. Sturm, and T. Hinze et.al.: Molekularbiologisches Verfahren zur Lösung von NP-Problemen. 2000. Deutsches Patent DE 198 53 726 A 1, IPC C12N 15/10, Deutsches Patentamt München
BibTeX entry 

Stephan Tobies: The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. Journal of Artificial Intelligence Research, 12:199–217, 2000.
BibTeX entry  Abstract  Paper (PS) 


1999

Edoardo Ardizzone and Mohand-Said Hacid: A Semantic Modeling Approach for Video Retrieval by Content. In Proceedings of the IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, pages 158–162. IEEE Computer Society, June 1999.
BibTeX entry  Abstract  Paper (PS) 

A. Artale and C. Lutz: A Correspondance between Temporal Description Logics. In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and Peter Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics (DL'99), number 22 in CEUR-WS, pages 145–149. Linkoeping, Sweden, Linköping University, July 30 – August 1 1999. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
BibTeX entry  Abstract  Paper (PS) 

F. Baader, R. Küsters, A. Borgida, and D. McGuinness: Matching in Description Logics. Journal of Logic and Computation, 9(3):411–447, 1999.
BibTeX entry  Abstract  Free reprint 

F. Baader and U. Sattler: Expressive Number Restrictions in Description Logics. Journal of Logic and Computation, 9(3):319–350, 1999.
BibTeX entry  Abstract  Paper (PS)  Free reprint 

F. Baader and C. Tinelli: Deciding the Word Problem in the Union of Equational Theories Sharing Constructors. In P. Narendran and M. Rusinowitch, editors, Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), volume 1631 of Lecture Notes in Computer Science, pages 175–189. Trento, Italy, Springer-Verlag, 1999.
BibTeX entry  Abstract  ©Springer-Verlag 

Franz Baader and Cesare Tinelli: Combining Equational Theories Sharing Non-Collapse-Free Constructors. 99-13, Department of Computer Science, University of Iowa, October 1999.
BibTeX entry  Abstract  Paper (PS) 

A. Borgida and R. Küsters: What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases. DCS-TR-391, Rutgers University, USA, 1999.
BibTeX entry  Paper (PS) 

Cyril Decleir, Mohand-Saïd Hacid, and Jacques Kouloumdjian: A Database Approach for Modeling and Querying Video Data. In Masaru Kitsuregawa, Leszek Maciaszek, and Mike Papazoglou, editors, Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia, pages 6–13. IEEE Computer Society, March 1999.
BibTeX entry  Abstract  Paper (PS) 

F. Baader: Logic-Based Knowledge Representation. In M.J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science, pages 13–41. Springer Verlag, 1999.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and R. Küsters: Matching in Description Logics with Existential Restrictions. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS. Sweden, Linköping University, 1999. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
BibTeX entry  Abstract  Paper (PS) 

F. Baader, R. Küsters, and R. Molitor: Computing Least Common Subsumers in Description Logics with Existential Restrictions. In T. Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), pages 96–101. Morgan Kaufmann, 1999.
BibTeX entry  Abstract 

F. Baader and R. Molitor: Rewriting Concepts Using Terminologies. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS. Sweden, Linköping University, 1999. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
BibTeX entry  Abstract  Paper (PS) 

F. Baader, R. Molitor, and S. Tobies: Tractable and Decidable Fragments of Conceptual Graphs. In W. Cyre and W. Tepfenhart, editors, Proceedings of the Seventh International Conference on Conceptual Structures (ICCS'99), number 1640 in Lecture Notes in Computer Science, pages 480–493. Springer Verlag, 1999.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

E. Franconi and U. Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. In Workshop on Design and Management of Data Warehouses (DMDW'99), June 1999.
BibTeX entry  Paper (PS) 

E. Franconi and U. Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report. Italian Association for Artificial Intelligence AI*IA Notizie, 1:9–21, 1999.
BibTeX entry  Paper (PS) 

V. Haarslev, C. Lutz, and R. Möller: A Description Logic with Concrete Domains and Role-forming Predicates. Journal of Logic and Computation, 9(3):351–384, 1999.
BibTeX entry  Abstract  Paper (PS)  Free reprint 

Mohand-Saïd Hacid and Christophe Rigotti: Representing and Reasoning on Conceptual Queries Over Image Databases. In Zbigniew W. Ras and Andrzej Skowron, editors, Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems, Warsaw, Poland, LNCS 1609, pages 340–348. Springer, June 1999.
BibTeX entry  Abstract  Paper (PS) 

I. Horrocks and U. Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9(3):385–410, 1999.
BibTeX entry  Abstract  Free reprint 

Ian Horrocks, Ulrike Sattler, and Stephan Tobies: Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies. In Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), 1999.
BibTeX entry  Abstract  Paper (PS) 

Ian Horrocks, Ulrike Sattler, and Stephan Tobies: Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161–180. Springer-Verlag, September 1999.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

Stephan Kepser and Jörn Richts: Optimisation Techniques for Combining Constraint Solvers. In Dov Gabbay and Maarten de Rijke, editors, Frontiers of Combining Systems 2, Papers presented at FroCoS'98, pages 193–210. Amsterdam, Research Studies Press/Wiley, 1999.
BibTeX entry  Abstract  Paper (PS) 

Stephan Kepser and Jörn Richts: UniMoK: A System for Combining Equational Unification Algorithms. In Rewriting Techniques and Applications, Proceedings RTA-99, volume 1631 of Lecture Notes in Computer Science, pages 248–251. Springer-Verlag, 1999.
BibTeX entry 

R. Küsters and A. Borgida: What's in an Attribute? Consequences for the Least Common Subsumer. DCS-TR-404, Rutgers University, USA, 1999.
BibTeX entry  Abstract  Paper (PS) 

Ralf Küsters: What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases. In S. Abiteboul, D. Florescu, A. Levy, and G. Moerkotte, editors, Foundations for Information Integration, Dagstuhl-Seminar-Report 244, 1999. ISSN 0940-1121
BibTeX entry  Abstract 

C. Lutz: Complexity of Terminological Reasoning Revisited. In Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, Lecture Notes in Artificial Intelligence, pages 181–200. Springer-Verlag, September 6 – 10, 1999.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

C. Lutz: Reasoning with Concrete Domains. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99, pages 90–95. Stockholm, Sweden, Morgan-Kaufmann Publishers, July 31 – August 6, 1999.
BibTeX entry  Abstract  Paper (PS) 

C. Lutz, U. Sattler, and S. Tobies: A Suggestion for an n-ary Description Logic. In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and Peter Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics, number 22 in CEUR-WS, pages 81–85. Linkoeping, Sweden, Linköping University, July 30 – August 1 1999. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
BibTeX entry  Abstract  Paper (PS) 

S .Tobies: A NExpTime-complete Description Logic Strictly Contained in C2. In J. Flum and M. Rodríguez-Artalejo, editors, Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL-99), LNCS 1683, pages 292–306. Springer-Verlag, 1999.
BibTeX entry  Abstract  Paper (PS)  Extended technical report (PS)  ©Springer-Verlag 

S. Tobies: On the Complexity of Counting in Description Logics. In P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors, Proceedings of the International Workshop on Description Logics 1999 (DL'99), number 22 in CEUR-WS. Sweden, Linköping University, 1999. Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
BibTeX entry  Abstract  Paper (PS) 

S. Tobies: A PSpace Algorithm for Graded Modal Logic. In H. Ganzinger, editor, Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, LNAI 1632, pages 52–66. Trento, Italy, Springer-Verlag, July 7–10, 1999.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 


1998

Can Adam Albayrak and Thomas Noll: The WHILE Hierarchy of Program Schemes is Infinite. In Maurice Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures, pages 35–47. LNCS 1378, Springer, 1998.
BibTeX entry 

F. Baader: On the Complexity of Boolean Unification. Information Processing Letters, 67(4):215–220, 1998.
BibTeX entry  Abstract 

F. Baader, A. Borgida, and D.L. McGuinness: Matching in Description Logics: Preliminary Results. In M.-L. Mugnier and M. Chein, editors, Proceedings of the Sixth International Conference on Conceptual Structures (ICCS-98), volume 1453 of Lecture Notes in Computer Science, pages 15–34. Montpelier (France), Springer–Verlag, 1998.
BibTeX entry  Abstract 

F. Baader and R. Küsters: Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions. In O. Herzog and A. Günter, editors, Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, pages 129–140. Bremen, Germany, Springer–Verlag, 1998.
BibTeX entry  Abstract 

F. Baader and R. Küsters: Least common subsumer computation w.r.t. cyclic ALN-terminologies. In Proceedings of the 1998 International Workshop on Description Logics (DL'98), 1998.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and P. Narendran: Unification of Concept Terms in Description Logics. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 331–335. John Wiley & Sons Ltd, 1998.
BibTeX entry  Abstract 

F. Baader and U. Sattler: Description Logics with Concrete Domains and Aggregation. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336–340. John Wiley & Sons Ltd, 1998.
BibTeX entry  Paper (PS) 

F. Baader and K. Schulz: Combination of Constraint Solvers for Free and Quasi-Free Structures. Theoretical Computer Science, 192:107–161, 1998.
BibTeX entry  Abstract  Free reprint 

F. Baader and K.U. Schulz: Unification Theory. In W. Bibel and P.H. Schmidt, editors, Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods, volume 8 of Applied Logic Series, pages 225–263. Dordrecht, NL, Kluwer Academic Publishers, 1998.
BibTeX entry  Abstract 

F. Baader and C. Tinelli: Deciding the Word Problem in the Union of Equational Theories. UIUCDCS-R-98-2073, Department of Computer Science, University of Illinois at Urbana-Champaign, 1998.
BibTeX entry  Abstract  Paper (PS) 

Franz Baader and Tobias Nipkow: Term Rewriting and All That. United Kingdom, Cambridge University Press, 1998.
BibTeX entry  Abstract 

C.A. Albayrak: Die WHILE-Hierarchie für Programmschemata. RWTH Aachen, 1998.
BibTeX entry 

C.B. Tresp and R. Molitor: A Description Logic for Vague Knowledge. In Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98), pages 361–365. Brighton, UK, J. Wiley and Sons, 1998.
BibTeX entry  Abstract 

C. Decleir, M. S. Hacid, and J. Kouloumdjian: A Generic Model for Video Content Based Retrieval. In Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear), 1998. Extended Abstract
BibTeX entry  Abstract  Paper (PS) 

Cyril Decleir, Mohand-Saïd Hacid, and Jacques Kouloumdjian: Modeling and Querying Video Data: A Hybrid Approach. In Proceedings of the IEEE Workshop on Content-Based Access of Image & Video Libraries (CBAIVL'98), Santa Barbara, CA, USA, pages 86–90. IEEE Computer Society, June 1998.
BibTeX entry  Abstract  Paper (PS) 

Cyril Decleir, Mohand-Saïd Hacid, and Jacques Kouloumdjian: Modeling and Querying Video Databases. In Proceedings 24th EUROMICRO'98 Conference Workshop on Multimedia and Telecommunications, Vasteras, Sweden, pages 492–498. IEEE Computer Society, August 1998.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, R. Küsters, and R. Molitor: Structural Subsumption Considered from an Automata Theoretic Point of View. In Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998.
BibTeX entry  Abstract  Paper (PS) 

H.-W. Denker, J. Hiltner, H.-P. Hohn, D. C. Novak, B. Reusch, C. Tresp, and J. Weidemann: Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm. W. de Gruyter, 1998.
BibTeX entry 

I. Horrocks and U. Sattler: A Description Logic with Transitive and Converse Roles and Role Hierarchies. In Proceedings of the International Workshop on Description Logics. Povo - Trento, Italy, IRST, 1998.
BibTeX entry  Paper (PS) 

R. Küsters: Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 499–510. Morgan Kaufmann, 1998.
BibTeX entry  Abstract 

Martin Leucker and Stephan Tobies: Truth—A Platform for Verification of Distributed Systems. 98-05, RWTH Aachen, May 1998.
BibTeX entry  Abstract  Paper (PS) 

U. Sattler: Terminological knowledge representation systems in a process engineering application. LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
BibTeX entry  Abstract  Paper (PS) 

Stephan Tobies: Design und Implementierung einer Plattform zur Verifikation verteilter Systeme. RWTH Aachen, Germany, 1998.
BibTeX entry  Abstract  Paper (PS) 

C. Tresp and U. Tüben: Medical Terminology Processing for a Tutoring System. In International Conference on Computational Intelligence and Multimedia Applications (ICCIMA98), Februar 1998.
BibTeX entry 


1997

F. Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. In G. Winskel, editor, Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), pages 2–13. Warsaw, Poland, IEEE Computer Society Press, 1997.
BibTeX entry  Abstract 

F. Baader and P. Narendran: Unification of Concept Terms. In Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO Technical Report 97-8. LIFO, Universitè de Orlèans, 1997.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and P. Narendran: Unification of Concept Terms in Description Logics. In Proceedings of the International Workshop on Description Logics, DL'97, pages 34–38. LRI, Universitè PARIS-SUD, Cente d'Orsay, 1997.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and U. Sattler: Description Logics with Aggregates and Concrete Domains. In Proceedings of the International Workshop on Description Logics, 1997.
BibTeX entry  Paper (PS) 

F. Baader and C. Tinelli: A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method. In W. McCune, editor, Proceedings of the 14th International Conference on Automated Deduction (CADE-97), volume 1249 of Lecture Notes in Artificial Intelligence, pages 19–33. Springer-Verlag, 1997.
BibTeX entry  Abstract 

Franz Baader and Klaus U. Schulz: Unification Theory – An Introduction. CIS-Rep-97-103, Center for Language and Information Processing (CIS), Oettingenstraße 67, D-80538 Munich, Germany, January 1997.
BibTeX entry  Abstract  Paper (PS) 

M. Baumeister, A. Becks, S. Sklorz, C. Tresp, and U. Tüben: Indexing Medical Abstract Databases. In Proceedings of the European Workshop on Multimedia Technology in Medical Training, September 1997.
BibTeX entry 

M. S. Hacid, P. Marcel, and C. Rigotti: A Rule-Based Language for Ordered Multidimensional Databases. In Proc. of the 5th Intl. Workshop on Deductive Database and Logic Programming (DDLP'97), volume 317 of GMD-Studien, pages 69–81, july 1997.
BibTeX entry  Abstract  Paper (PS) 

M. S. Hacid, P. Marcel, and C. Rigotti: A rule based data manipulation language for OLAP systems. In Proc. of the 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), LNCS. Montreux, Switzerland, SPRINGER, december 1997.
BibTeX entry  Abstract  Paper (PS) 

Mohand-Saïd Hacid and Ulrike Sattler: An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions. In Proceedings of the IEEE Knowledge and Data Engineering Workshop, Newport Beach, CA, USA, pages 65–72. IEEE Computer Society, November 1997.
BibTeX entry  Abstract 

J. Hiltner, M. Jäger, E. Meyer zu Bexten, C. Tresp, and M. Fathi: Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens. In Bernhard Arnolds, Heinrich Müller, Dietmar Saupe, and Thomas Tolxdorff, editors, Digitale Bildverarbeitung in der Medizin, Tagungsband zum 5. Freiburger Workshop (Deutschland), März 1997.
BibTeX entry 

Claudia Krobb: Entwicklung einer Spezialisierungshierarchie für Modellierungsschritte im objekt-orientierten Datenmodell VeDa. RWTH Aachen, Germany, 1997.
BibTeX entry  Abstract  Paper (PS) 

R. Küsters: Characterizing the semantics of terminological cycles with the help of finite automata. In Proceedings of the International Workshop on Description Logics, DL'97, pages 10–14. LRI, Universitè PARIS-SUD, Cente d'Orsay, 1997.
BibTeX entry  Abstract  Paper (PS) 

Ralf Küsters: Charakterisierung der Semantik terminologischer Zyklen mit Hilfe endlicher Automaten. RWTH Aachen, Germany, 1997.
BibTeX entry  Abstract  Paper (PS) 

M. Baumeister, H.-P. Hohn, S. Sklorz, and C. Tresp (Hrsg.): Multimedia Technology in Medical Training. Aachen, Augustinus, 1997.
BibTeX entry 

Ralf Molitor: Konsistenz von Wissensbasen in Beschreibungslogiken mit Rollenoperatoren. RWTH Aachen, Germany, 1997.
BibTeX entry  Abstract  Paper (PS) 

Madjid Nassiri: Berechnung einer erweiterten Subsumtionshierarchie. RWTH Aachen, Germany, 1997.
BibTeX entry  Abstract  Paper (PS) 

C. Tresp: Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine. In 42. Internationales Wissenschaftliches Kolloquium, September 1997.
BibTeX entry 

C. Tresp: Queries in Fuzzy Deductive Databases Using Medical Information. In 5th European Congress on Intelligent Techniques & Soft Computing (EUFIT 97), September 1997.
BibTeX entry 

C. Tresp and S. Sklorz: Medizinische Aus- und Weiterbildung: Mit dem Computer lernen. interMed - Arzt & neue Medien, 1, 1997. Braun Fachverlage
BibTeX entry 

C. Tresp and S. Sklorz: Multimedia Technology in Medical Training. In M. Jarke, K. Parsedach, and K. Pohl, editors, Informatik'97: Informatik als Innovationsmotor, 27. Jahrestagung der GI. Aachen, Springer LNCS, 1997.
BibTeX entry 

J. Weidemann, H.-P. Hohn, J. Hiltner, K. Tochtermann, C. Tresp, D. Bozinov, K. Venjakob, A. Freund, B. Reusch, and H.-W. Denker: A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed. Acta Anatomica, 158, 1997.
BibTeX entry 


1996

F. Baader: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. J. of Logic and Computation, 6(1):33–54, 1996.
BibTeX entry  Abstract  Free reprint 

F. Baader: Combination of Compatible Reduction Orderings that are Total on Ground Terms. In Proceedings of the 10th International Workshop on Unification, UNIF-96, CIS-Report 96-91, pages 97–106. CIS, Universität München, 1996.
BibTeX entry  Abstract  Paper (PS) 

F. Baader: Using Automata Theory for Characterizing the Semantics of Terminological Cycles. Annals of Mathematics and Artificial Intelligence, 18(2–4):175–219, 1996.
BibTeX entry  Abstract  Free reprint 

F. Baader: Logik-basierte Wissensrepräsentation. KI, 3/96:8–16, 1996.
BibTeX entry  Abstract 

F. Baader, M. Buchheit, and B. Hollunder: Cardinality Restrictions on Concepts. Artificial Intelligence, 88(1–2):195–213, 1996.
BibTeX entry  Abstract  Free reprint 

F. Baader and W. Nutt: Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning. J. Applicable Algebra in Engineering, Communication and Computing, 7(4):309–337, 1996.
BibTeX entry  Abstract 

F. Baader and U. Sattler: Description Logics with Symbolic Number Restrictions. In W. Wahlster, editor, Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pages 283–287. John Wiley & Sons Ltd, 1996. An extended version has appeared as Technical Report LTCS-96-03
BibTeX entry  Abstract  Paper (PS) 

F. Baader and U. Sattler: Knowledge Representation in Process Engineering. In Proceedings of the International Workshop on Description Logics. Cambridge (Boston), MA, U.S.A., AAAI Press/The MIT Press, 1996.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and U. Sattler: Number Restrictions on Complex Roles in Description Logics. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96). Morgan Kaufmann, Los Altos, 1996. An extended version has appeared as Technical Report LTCS-96-02
BibTeX entry  Abstract 

F. Baader and K. U. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. J. Symbolic Computation, 21:211–243, 1996.
BibTeX entry  Abstract  Free reprint 

Franz Baader and Klaus U. Schulz, editors: Frontiers of Combining Systems. Kluwer Academic Publishers, 1996.
BibTeX entry  Abstract 

Kamel Ben-Khalifa: Kombination freier Strukturen. RWTH Aachen, Germany, November 1996.
BibTeX entry  Abstract  Paper (PS) 

J. Hiltner and C. Tresp: Verbunddokumente: Objektmodelle und Implementierungen. In 15. Workshop Interdisziplinäre Methoden in der Informatik, 1996.
BibTeX entry 

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Informatik – Forschung und Entwicklung, 11(1):20–26, 1996. In German
BibTeX entry  Abstract 

Martin Leucker: Comparison of Two Semantic Approaches to Unification. RWTH Aachen, Germany, 1996. In German
BibTeX entry  Abstract  Paper (PS) 

E. Meyer zu Bexten, C. Tresp, M. Jäger, M. Moser, and J. Hiltner: Consistency Checking in Applications based on Fuzzy Rules. In Second International Conference on Applications of Fuzzy Systems and Soft Computing, Juni 1996.
BibTeX entry 

U. Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. In G. Görz and S. Hölldobler, editors, 20. Deutsche Jahrestagung für Künstliche Intelligenz, number 1137 in Lecture Notes in Artificial Intelligence. Springer Verlag, 1996.
BibTeX entry  Abstract  Paper (PS) 

U. Sattler: Knowledge Representation in Process Engineering. In F. Baader, H. J. Bürckert, A. Günter, and W. Nutt, editors, Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), DFKI Document D-96-04, 1996.
BibTeX entry  Paper (PS) 

K. Tochtermann, C. Tresp, J. Hiltner, and A. Freund: HyperMed: A Hypermedia System for Anatomical Education. In ED-Media, World Conference on Educational Multimedia and Hypermedia, August 1996.
BibTeX entry 

C. Tresp, A. Becks, R. Klinkenberg, and J. Hiltner: Knowledge Representation in a World with Vague Concepts. In Intelligent Systems: A semiotic perspective, September 1996.
BibTeX entry 

C. Tresp, M. Jäger, M. Moser, J. Hiltner, and M. Fathi: A New Method for Image Segmentation Based on Fuzzy Knowledge. In Int. IEEE Symposia on Intelligence and Systems, Oktober 1996.
BibTeX entry 


1995

F. Baader: Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology. In Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, pages 168–178, 1995.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, M. Buchheit, M.A Jeusfeld, and W. Nutt: Reasoning About Structured Objects: Knowledge Representation Meets Databases. The Knowledge Engineering Review, 10(1):73–76, 1995.
BibTeX entry 

F. Baader and B. Hollunder: Embedding Defaults into Terminological Representation Systems. J. Automated Reasoning, 14:149–180, 1995.
BibTeX entry  Abstract  Free reprint 

F. Baader and B. Hollunder: Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic. J. Automated Reasoning, 15:41–68, 1995.
BibTeX entry  Abstract  Free reprint 

F. Baader and A. Laux: Terminological Logics with Modal Operators. In C. Mellish, editor, Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 808–814. Montréal, Canada, Morgan Kaufmann, 1995.
BibTeX entry  Abstract 

F. Baader and H.-J. Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. J. Applied Non-Classical Logics, 5:153–197, 1995.
BibTeX entry 

F. Baader and K.U. Schulz: Combination Techniques and Decision Problems for Disunification. Theoretical Computer Science B, 142:229–255, 1995.
BibTeX entry  Abstract  Free reprint 

F. Baader and K.U. Schulz: Combination of Constraint Solving Techniques: An Algebraic Point of View. In Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Artificial Intelligence, pages 352–366. Kaiserslautern, Germany, Springer Verlag, 1995.
BibTeX entry  Abstract 

F. Baader and K.U. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. In Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, pages 380–397. Cassis, France, Springer Verlag, 1995.
BibTeX entry  Abstract 

Franz Baader and Can Adam Albayrak: Termersetzungssysteme, Skript zur Vorlesung. Pontstr. 96, D-52062 Aachen, Verlag der Augustinus Buchhandlung, 1995. ISBN 3-86073-148-3
BibTeX entry  Abstract 

Franz Baader and Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. MPI-I-95-2-005, Max-Planck-Institut für Informatik, Saarbrücken, 1995.
BibTeX entry  Abstract  Paper (PS) 

François Bergeron and Ulrike Sattler: Constructible differentially finite algebraic series in several variables. Theoretical Computer Science, 144(1-2):59–66, 1995.
BibTeX entry  Abstract 

M. Fathi, C. Tresp, K. Holte, and J. Hiltner: Development of Objective Functions for Soft Computing in Medical Applications. In ACM Computing Week, Februar 1995.
BibTeX entry 

Ulrike Sattler: A Concept Language for an engeneering application with part-whole relations. In A. Borgida, M. Lenzerini, D. Nardi, and B. Nebel, editors, Proceedings of the International Workshop on Description Logics, pages 119–123, 1995.
BibTeX entry  Abstract  Paper (PS) 


1994

F. Baader, M. Buchheit, and B. Hollunder: Cardinality Restrictions on Concepts. In Proceedings of the German AI Conference, KI'94, volume 861 of Lecture Notes in Computer Science, pages 51–62. Saarbrücken (Germany), Springer–Verlag, 1994.
BibTeX entry  Abstract 

F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems. Applied Intelligence, 4(2):109–132, 1994.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and B. Hollunder: Computing extensions of terminological default theories. In G. Lakemeyer, editor, Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence. Springer–Verlag, 1994.
BibTeX entry 

F. Baader and A. Laux: Terminological Logics with Modal Operators. RR-94-33, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1994.
BibTeX entry  Abstract 

F. Baader and K. Schulz: On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. 94-82, Universität München, 1994.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and J.H. Siekmann: Unification Theory. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, pages 41–125. Oxford, UK, Oxford University Press, 1994.
BibTeX entry 

Franz Baader and Klaus U. Schulz: Combination of Constraint Solving Techniques: An Algebraic Point of View. CIS-Rep-94-75, Center for Language and Information Processing (CIS), Wagmüllerstraße 23, D-80538 Munich, Germany, July 1994.
BibTeX entry  Abstract  Paper (PS) 

M. Fathi, C. Tresp, J. Hiltner, and K. Becker: Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies. In IEEE World Wisemen/Women Workshop (WWW), Nagoya University, August 1994.
BibTeX entry 

M. Fathi, C. Tresp, J. Hiltner, and K. Becker: Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications. In First Industry Academic Symposium on research for Future Supersonic and Hypersonic Vehicles, Dezember 1994.
BibTeX entry 

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, and Jörg Siekmann: KEIM: A Toolkit for Automated Deduction. In Alan Bundy, editor, Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated Deduction, pages 807–810. Nancy, Springer-Verlag LNAI 814, 1994.
BibTeX entry  Abstract 

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, and Jörn Richts: Adapting Methods to Novel Tasks in Proof Planning. In Bernhard Nebel and Leonie Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, Proceedings of the 18th German Annual Conference on Artificial Intelligence, pages 379–390. Saarbrücken, Germany, Springer-Verlag LNAI 861, 1994.
BibTeX entry  Abstract 

Xiaorong Huang, Manfred Kerber, Jörn Richts, and Arthur Sehn: Planning Mathematical Proofs with Methods. Journal of Information Processing and Cybernetics, EIK, 30(5-6):277–291, 1994.
BibTeX entry  Abstract 


1993

F. Baader: Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases. J. ACM, 40(3):477–503, 1993.
BibTeX entry 

F. Baader, M. Buchheit, and B. Hollunder: Cardinality Restrictions on Concepts. RR-93-48, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993. A short version has appeared in Proceedings of the KI'94, Springer LNCS 861
BibTeX entry  Abstract 

F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka: On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. Journal of Logic, Language and Information, 2:1–18, 1993.
BibTeX entry  Paper (PS) 

F. Baader and P. Hanschke: Extensions of Concept Languages for a Mechanical Engineering Application. In Proceedings of the 16th German AI-Conference, GWAI-92, volume 671 of Lecture Notes in Computer Science, pages 132–143. Bonn (Germany), Springer–Verlag, 1993.
BibTeX entry 

F. Baader and B. Hollunder: Embedding Defaults into Terminological Representation Systems. RR-93-20, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and B. Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, pages 669–674, 1993.
BibTeX entry 

F. Baader, B. Hollunder, B. Nebel, H.J. Profitlich, and E. Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on. RR-93-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
BibTeX entry 

F. Baader and H.-J. Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. MPI-I-93-212, Max-Planck-Institut für Informatik, Saarbrücken, 1993.
BibTeX entry 

F. Baader and K. Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. RR-93-13, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
BibTeX entry 

F. Baader and K. Schlechta: A Semantics for Open Normal Defaults via a Modified Preferential Approach. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU 93, volume 747 of Lecture Notes in Computer Science, pages 9–16. Granada (Spain), Springer–Verlag, 1993.
BibTeX entry 

F. Baader and K. Schulz: Combination Techniques and Decision Problems for Disunification. RR-93-05, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1993.
BibTeX entry 

F. Baader and K. Schulz: Combination Techniques and Decision Problems for Disunification. In Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, pages 301–315. Montreal (Canada), Springer–Verlag, 1993.
BibTeX entry 

F. Baader, J. Siekmann, and W. Snyder, editors: Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992. 1993.
BibTeX entry 

H.-J. Ohlbach and F. Baader: A Multi-Dimensional Terminological Knowledge Representation Language. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, pages 690–695, 1993.
BibTeX entry 


1992

F. Baader: Unification Theory. RR-92-33, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1992.
BibTeX entry 

F. Baader, H.-J. Bürckert, B. Hollunder, A. Laux, and W. Nutt: Terminologische Logiken. KI, 3/92:23–33, 1992.
BibTeX entry 

F. Baader and P. Hanschke: Extensions of Concept Languages for a Mechanical Engineering Application. RR-92-36, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1992.
BibTeX entry 

F. Baader and B. Hollunder: Embedding Defaults into Terminological Representation Systems. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, pages 306–317, 1992.
BibTeX entry 

F. Baader and B. Hollunder: How to Prefer More Specific Defaults in Terminological Default Logic. RR-92-58, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1992.
BibTeX entry 

F. Baader, B. Hollunder, B. Nebel, H.J. Profitlich, and E. Franconi: An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, pages 270–281, 1992.
BibTeX entry 

F. Baader and K. Schulz: General A- and AX-Unification via Optimized Combination Procedures. 92-58, Universität München, 1992.
BibTeX entry 

F. Baader and K. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. In Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, pages 50–65. Saratoga Springs (USA), Springer–Verlag, 1992.
BibTeX entry 

F. Baader and K.U. Schulz: General A- and AX-Unification via Optimized Combination Procedures. In Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, pages 23–42. Rouen (France), Springer–Verlag, 1992.
BibTeX entry 

F. Baader, J. Siekmann, and W. Snyder, editors: 6th Workshop on Unification. 1992.
BibTeX entry 

Jörn Richts: Allgemeine AC-Unifikation durch Variablenabstraktion mit Fremdtermbedingungen. SWP–92–12, Fachbereich Informatik, Universität Kaiserslautern, Postfach 3049, D–67663 Kaiserslautern, Germany, 1992.
BibTeX entry  Abstract  Paper (PS) 


1991

F. Baader: Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pages 446–451, 1991.
BibTeX entry 

F. Baader: Unification Theory. In Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, pages 151–170. Tübingen (Germany), Springer–Verlag, 1991.
BibTeX entry 

F. Baader: Unification in Varieties of Completely Regular Semigroups. In Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, pages 210–230. Tübingen (Germany), Springer–Verlag, 1991.
BibTeX entry 

F. Baader: Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems. In Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, pages 86–97. Como (Italy), Springer–Verlag, 1991.
BibTeX entry 

F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, and G. Smolka: On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. RR-91-01, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
BibTeX entry 

F. Baader and P. Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. RR-91-10, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
BibTeX entry  Abstract  Paper (PS) 

F. Baader and P. Hanschke: A Scheme for Integrating Concrete Domains into Concept Languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pages 452–457, 1991.
BibTeX entry 

F. Baader and B. Hollunder: A Terminological Knowledge Representation System with Complete Inference Algorithms. In Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, pages 67–85. Kaiserslautern (Germany), Springer–Verlag, 1991.
BibTeX entry  Abstract  Paper (PS)  ©Springer-Verlag 

F. Baader and B. Hollunder: KRIS: Knowledge Representation and Inference System, System Description. ACM SIGART Bulletin, 2:8–14, 1991.
BibTeX entry 

F. Baader and W. Nutt: Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification. In Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, pages 124–135. Como (Italy), Springer–Verlag, 1991.
BibTeX entry 

F. Baader and K. Schulz: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. RR-91-33, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
BibTeX entry  Abstract  Paper (PS) 

B. Hollunder and F. Baader: Qualifying Number Restrictions in Concept Languages. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, pages 335–346, 1991.
BibTeX entry 

B. Hollunder and F. Baader: Qualifying Number Restrictions in Concept Languages. RR-91-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1991.
BibTeX entry 


1990

F. Baader: A Formal Definition for Expressive Power of Knowledge Representation Languages. RR-90-05, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry 

F. Baader: A Formal Definition for Expressive Power of Knowledge Representation Languages. In Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, pages 53–58, 1990.
BibTeX entry 

F. Baader: Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. RR-90-13, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry  Paper (PS) 

F. Baader: Rewrite Systems for Varieties of Semigroups. In Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, pages 396–410. Kaiserslautern (Germany), Springer–Verlag, 1990.
BibTeX entry 

F. Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. RR-90-01, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry 

F. Baader: Terminological Cycles in KL-ONE-based Knowledge Representation Languages. In Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, pages 621–626, 1990.
BibTeX entry 

F. Baader: Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases. SR-90-1, Universität Kaiserslautern, 1990.
BibTeX entry 

F. Baader: Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems. SR-90-2, Universität Kaiserslautern, 1990.
BibTeX entry 

F. Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, and H.-J. Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. TM-90-04, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990. Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.
BibTeX entry  Abstract  Paper (PS) 

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. Siekmann: Concept Logic. RR-90-10, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry  Paper (PS) 

F. Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, and J. Siekmann: Concept Logic. In Proceedings of the Symposium on Computational Logic, pages 177–201, 1990.
BibTeX entry 

F. Baader and B. Hollunder: KRIS: Knowledge Representation and Inference System, System Description. TM-90-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry 

F. Baader and W. Nutt: Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification. RR-90-16, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, 1990.
BibTeX entry 


1989

F. Baader: Characterizations of Unification Type Zero. In Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, pages 2–14. Chapel Hill (USA), Springer–Verlag, 1989.
BibTeX entry 

F. Baader: Unification Properties of Commutative Theories: A Categorical Treatment. In Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, pages 273–299. Manchester (UK), Springer–Verlag, 1989.
BibTeX entry 

F. Baader: Unification in Commutative Theories. J. Symbolic Computation, 8:479–497, 1989.
BibTeX entry  Free reprint 

F. Baader: Unifikation und Reduktionssysteme für Halbgruppenvarietäten. 8, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, 1989. Dissertation
BibTeX entry 


1988

F. Baader: A Note on Unification Type Zero. Information Processing Letters, 27:91–93, 1988.
BibTeX entry  Free reprint 

F. Baader and W. Büttner: Unification in Commutative Idempotent Monoids. J. Theoretical Computer Science, 56:345–352, 1988.
BibTeX entry  Free reprint 


1987

F. Baader: Unification in Varieties of Idempotent Semigroups. Semigroup Forum, 36:127–145, 1987.
BibTeX entry  Free reprint 


1986

F. Baader: The Theory of Idempotent Semigroups is of Unification Type Zero. J. Automated Reasoning, 2:283–286, 1986.
BibTeX entry  Free reprint 


1985

F. Baader: Die S-Varietät DS und einige Untervarietäten. 8, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, 1985.
BibTeX entry 


Back to the hompage of the Chair of Automata Theory.
Generated Fri Sep 23 16:52:32 2016.