Publikationen der Gruppe Automatentheorie

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen der Gruppe Automatentheorie


Artikel in Fachzeitschriften

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download
Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in fuzzy description logics using automata
Fuzzy Sets and Systems, 298:22–43, 2016
Details Download
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
Details Download
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Constraints
Journal of Computer and System Sciences, 82(5):826 - 855, 2016
Details
Friedrich Martin Schneider, Daniel Borchmann
Topological Entropy of Formal Languages
Semigroup Forum, 1-26, February 2016
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download
Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Journal of Philosophical Logic, 44(2):117-146, 2015
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based Relaxed Instance Queries
Journal of Applied Logic, to appear
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited
Journal of Applied Logic, 12(4):584-613, 2014
Details
Daniel Borchmann, Rafael Peñaloza, Wenqian Wang
Classifying Software Bug Reports Using Methods from Formal Concept Analysis
Studia Universitatis Babeş-Bolyai Informatica, 59:10-27, June 2014
Details Download
Stefan Borgwardt, Rafael Peñaloza
Consistency Reasoning in Lattice-Based Fuzzy Description Logics
International Journal of Approximate Reasoning, 55(9):1917-1938, 2014
Details Download
Andreas Ecke, Rafael Peñaloza, 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
Details Download
Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees
Theoretical Computer Science, 534:53-68, May 2014
Details Download
Mario Alviano, Rafael Peñaloza
Fuzzy Answer Sets Approximations
Theory and Practice of Logic Programming, 13(4--5):753-767, 2013
Details Download
Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Fundamenta Informaticae, 126(1):1-35, 2013
Details Download
Stefan Borgwardt, Rafael Peñaloza
The Complexity of Lattice-Based Fuzzy Description Logics
Journal on Data Semantics, 2(1):1-19, 2013
Details Download
Sebastian Götz, René Schöne, Claas Wilke, Julian Mendez, Uwe Aßmann
Towards Predictive Self-optimization by Situation Recognition
2nd Workshop EASED@ BUIS 2013, 11, 2013
Details Download
Uwe Ryssel, Felix Distel, 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
Details Download
Thomas Zerjatke, Monika Sturm
Solving a PSPACE-complete problem by gene assembly
Journal of Logic and Computation, 23(4):897-908, 2013
Details
Franz Baader, Martin Knechtel, Rafael Peñaloza
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Journal of Web Semantics, 12--13:22-40, 2012
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
ACM Trans. Comput. Log., 13(3), 2012
Details Download
Julian Mendez
jcel: A Modular Rule-based Reasoner
In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), 858, 2012
Details Download
Franz Baader
What's new in Description Logics
Informatik-Spektrum, 34(5):434-442, 2011
Details
Franz Baader, S. Ghilardi
Unification in Modal and Description Logics
Logic Journal of the IGPL, 19(6):705-730, 2011
Details Download
Felix Distel, Barış Sertkaya
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics, 159(6):450-466, 2011
Details
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Foundations of instance level updates in expressive description logics
Artificial Intelligence, 175(18):2170-2197, 2011
Details Download
Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download
Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation, 20(1):5-34, 2010
Details Download
Franz Baader, Rafael Peñaloza
Automata-based Axiom Pinpointing
Journal of Automated Reasoning, 45(2):91-129, August 2010
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
Logical Methods in Computer Science, 6(3), 2010
Details Download
Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung
Informatik-Spektrum, 33(5):444-451, 2010
Details
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker
SNOMED reaching its adolescence: Ontologists' and logicians' health check
International Journal of Medical Informatics, 78(Supplement 1):S86-S94, 2009
Details Download
Thomas Springer, 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
Details
Franz Baader, Jan Hladik, 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
Details Download
Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
Journal of Artificial Intelligence Research, 31:150-197, 2008
Details Download
Stefan Schulz, Kornél Markó, Boontawee Suntisrivaraporn
Formal representation of complex SNOMED CT expressions
BMC Medical Informatics and Decision Making, 8(1):S9, 2008
Details Download
Franz Baader, Barış Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Journal of Applied Logic, 5(3):392-420, 2007
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
The Journal of Symbolic Logic, 72(2):535-583, 2007
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Journal of Automated Reasoning, 38(1--3):227-259, 2007
Details Download
C. Löding, Carsten Lutz, O. Serre
Propositional Dynamic Logic with Recursive Programs
Journal of Logic and Algebraic Programming, 73:51-69, 2007
Details Download
Franz Baader, Silvio Ghilardi, 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
Details Download
Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Logical Methods in Computer Science, 2(2), 2006
Details Download
Carsten Lutz, 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, to appear
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Information and Computation, 205(1):99-123, 2006
Details Download
D. Walther, Carsten Lutz, Frank Wolter, M. Wooldridge
ATL is Indeed ExpTime-complete
Journal of Logic and Computation, 16(6):765-787, 2006
Details Download
M. Lange, Carsten Lutz
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection
Journal of Symbolic Logic, 70(5):1072-1086, 2005
Details Download
Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Journal of Artificial Intelligence Research, 23:667-726, 2005
Details Download
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Journal of Applied Non-Classical Logic, 15(2):189-214, 2005
Details Download
Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Information and Computation, 199:132-171, 2005
Details Download
A. Artale, Carsten Lutz
A Correspondence between Temporal Description Logics
Journal of Applied Non-Classical Logic, 14(1--2):209-233, 2004
Details Download
Mitchell A. Harris, Edward R. Reingold
Line Drawing, Leap Years, and Euclid
ACM Computing Surveys, 36:68-80, 2004
Details Download
R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporal Tableaux
Studia Logica, 76(1):91-134, 2004
Details Download
O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-Connections of Abstract Description Systems
Artificial Intelligence, 156(1):1-73, 2004
Details Download
Carsten Lutz
Combining Interval-based Temporal Reasoning with General TBoxes
Artificial Intelligence, 152(2):235-274, 2004
Details Download
Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
ACM Transactions on Computational Logic, 5(4):669-705, 2004
Details
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Information Systems, 28(8):979-1004, 2003
Details Download
Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
Fundamenta Informaticae, 57:1-33, 2003
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Information and Computation, 178(2):346-390, 2002
Details
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics for the Semantic Web
KI – Künstliche Intelligenz, 4, 2002
Details
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems
Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002
Details Download
S. Demri, Ulrike Sattler
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 53(1):1-22, 2002
Details Download
Carsten Lutz
PSpace Reasoning with the Description Logic ALCF(D)
Logic Journal of the IGPL, 10(5):535-568, 2002
Details Download
Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Studia Logica, 72(2):199-232, 2002
Details Download
Franz Baader, Ulrike Sattler
An Overview of Tableau Algorithms for Description Logics
Studia Logica, 69:5-40, 2001
Details Download
Franz Baader, P. Narendran
Unification of Concepts Terms in Description Logics
J. Symbolic Computation, 31(3):277-305, 2001
Details
E.P. Stoschek, Monika Sturm, Thomas Hinze
DNA-Computing - ein funktionales Modell im laborpraktischen Experiment
Informatik Forschung und Entwicklung, 16(1):35-52, 2001
Details Download
Monika Sturm, Thomas Hinze
Distributed Splicing of RE with 6 Test Tubes
Romanian Journal of Information Science and Technology, 4(1-2):211-234, 2001
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Very Expressive Description Logics
Logic Journal of the IGPL, 8(3):239-264, May 2000
Details Download
Stephan Tobies
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
Journal of Artificial Intelligence Research, 12:199-217, May 2000
Details Download
Franz Baader, Ulrike Sattler
Expressive Number Restrictions in Description Logics
Journal of Logic and Computation, 9(3):319-350, 1999
Details Download
Franz Baader, R. Küsters, A. Borgida, D. McGuinness
Matching in Description Logics
Journal of Logic and Computation, 9(3):411-447, 1999
Details
E. Franconi, Ulrike 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
Details Download
V. Haarslev, Carsten Lutz, R. Möller
A Description Logic with Concrete Domains and Role-forming Predicates
Journal of Logic and Computation, 9(3):351-384, 1999
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Inverse Roles and Role Hierarchies
Journal of Logic and Computation, 9(3):385-410, 1999
Details
Franz Baader, K. Schulz
Combination of Constraint Solvers for Free and Quasi-Free Structures
Theoretical Computer Science, 192:107-161, 1998
Details
Franz Baader
On the Complexity of Boolean Unification
Information Processing Letters, 67(4):215-220, 1998
Details
C. Tresp, S. Sklorz
Medizinische Aus- und Weiterbildung: Mit dem Computer lernen
interMed - Arzt & neue Medien, 1, 1997
Details
J. Weidemann, H.-P. Hohn, J. Hiltner, K. Tochtermann, C. Tresp, D. Bozinov, K. Venjakob, A. Freund, B. Reusch, H.-W. Denker
A Hypermedia Tutorial for Cross-Sectional Anatomy: HyperMed
Acta Anatomica, 158, 1997
Details
Franz Baader
Using Automata Theory for Characterizing the Semantics of Terminological Cycles
Annals of Mathematics and Artificial Intelligence, 18(2--4):175-219, 1996
Details
Franz Baader, K. U. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
J. Symbolic Computation, 21:211-243, 1996
Details
Franz Baader, 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
Details
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Artificial Intelligence, 88(1--2):195-213, 1996
Details
Franz Baader
Logik-basierte Wissensrepräsentation
KI, {3/96}:8-16, 1996
Details
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP
Informatik – Forschung und Entwicklung, 11(1):20-26, 1996
Details
Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
J. Applied Non-Classical Logics, 5:153-197, 1995
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
J. Automated Reasoning, 14:149-180, 1995
Details
Franz Baader, M. Buchheit, M.A Jeusfeld, W. Nutt
Reasoning About Structured Objects: Knowledge Representation Meets Databases
The Knowledge Engineering Review, 10(1):73-76, 1995
Details
Franz Baader, K.U. Schulz
Combination Techniques and Decision Problems for Disunification
Theoretical Computer Science B, 142:229-255, 1995
Details
François Bergeron, Ulrike Sattler
Constructible differentially finite algebraic series in several variables
Theoretical Computer Science, 144(1-2):59-66, June 1995
Details
Franz Baader, E. Franconi, B. Hollunder, B. Nebel, H.J. Profitlich
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems
Applied Intelligence, 4(2):109-132, 1994
Details Download
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
Planning Mathematical Proofs with Methods
Journal of Information Processing and Cybernetics, EIK, 30(5-6):277-291, 1994
Details
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, 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
Details Download
Franz Baader, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt
Terminologische Logiken
KI, {3/92}:23-33, 1992
Details
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
Details
Franz Baader
Unification in Commutative Theories
J. Symbolic Computation, 8:479-497, 1989
Details
Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988
Details
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Details
Franz Baader
Unification in Varieties of Idempotent Semigroups
Semigroup Forum, 36:127-145, 1987
Details
Franz Baader
The Theory of Idempotent Semigroups is of Unification Type Zero
J. Automated Reasoning, 2:283-286, 1986
Details

Artikel in Tagungsbänden

Franz Baader, Filippo De Bortoli
On the Abstract Expressive Power of Description Logics with Concrete Domains
In Oliver Kutz, Ana Ozaki, eds., Proceedings of the 36th International Workshop on Description Logics (DL'23), volume 3515 of CEUR Workshop Proceedings, September 2023
Details
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5503--5511, 2022. AAAI Press
Details Download
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)
In Ofer Arieli, Martin Homola,Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Details Download
Filippo De Bortoli, Franz Baader
Description Logics That Count, and What They Can and Cannot Count
In Laura Kovacs, Konstantin Korovin, Giles Reger, eds., ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia, volume 68 of EPiC Series in Computing, 1-25, 2020. EasyChair
Details
Filippo De Bortoli, Franz Baader
Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)
In Stefan Borgwardt, Thomas Meyer, eds., Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, 2020. CEUR-WS
Details
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Filippo De Bortoli, Franz Baader
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
In Andreas Herzig, Andrei Popescu, eds., Proc. of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), volume 11715 of Lecture Notes in Computer Science, 203-219, 2019. Springer
Details
Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details Download
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download
Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download
İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van Den Broeck
Open-World Probabilistic Databases: An Abridged Report
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download
Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
Daniel Borchmann, Tom Hanika
Some Experimental Results on Randomly Generating Formal Contexts
In Marianne Huchard, Sergei Kuznetsov, eds., Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, volume 1624 of CEUR Workshop Proceedings, 57-69, July 2016
Details Download
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
Preferential Query Answering in the Semantic Web with Possibilistic Networks
In Subbarao Kambhampati, eds., Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 994–1000, 2016. AAAI Press
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016
Details Download
Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza Nyssen
Complexity Results for Probabilistic Datalog+/-
In Maria S. Fox, Gal A. Kaminka, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 1414–1422, 2016. IOS Press
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases
In Chitta Baral and James P. Delgrande and Frank Wolter, eds., Proceedings of 15. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 339--348, 2016. AAAI Press
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases (Extended Abstract)
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL 2016), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Golog Programs over Non-Local Effect Actions
In Dale Schuurmans, Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), to appear. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download
Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Lecture Notes in Artificial Intelligence, 49–65, 2015. Springer
Details Download
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Complexity of Subsumption in Fuzzy EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2812–2818, 2015. AAAI Press
Details Download
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, 17-32, to appear. Springer
Details Download
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints
In D. Lev Beklemishev, V. Daniil Musatov, eds., Proceedings of Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia (CSR 2015), 94 - 108, 2015. Springer International Publishing
Details
İsmail İlkan Ceylan
Query Answering in Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Julian Mendez, Rafael Peñaloza
The Bayesian Ontology reasoner is BORN!
In Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos, eds., Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015), volume 1387, 8-14, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
Answering EL Queries in the Presence of Preferences
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Probabilistic Query Answering in the Bayesian Description Logic BEL
In Christoph Beierle, Alex Dekhtyar, eds., Proceedings of 9th International Conference on Scalable Uncertainty Management (SUM 2015), volume 9310 of LNAI, 1-15, 2015. Springer
Details Download
Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: from Terminologies towards TBoxes
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), CEUR workshop proceedings, to appear
Details
Veronika Thost, Jan Holste, Özgür Özçep
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR
Details Download
Veronika Thost, Erik Zenker
Temporal Query Answering in a Fuzzy World
In Agata Filipowska and Ruben Verborgh and Axel Polleres, eds., Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, 84-87, September 2015. CEUR-WS.org
Details Download
Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3278-3284, 2015. AAAI Press
Details
İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Ontology Languages
Fifth International Workshop on Statistical Relational AI, volume abs/1506.08030, 2015. CoRR
Details Download
Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, Dirk Walther
Towards an FCA-based Recommender System for Black-Box Optimization
In Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph, eds., Proceedings of the 3rd International Workshop on "What can FCA do for Artificial Intelligence?" (FCA4AI'14), volume 1257 of CEUR Workshop Proceedings, 35-42, 2014
Details Download
Franz Baader
Ontology-Based Monitoring of Dynamic Systems
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 678-681, 2014. AAAI Press
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Temur Kutsia and Christophe Ringeissen, eds., Proceedings of the 28th International Workshop on Unification (UNIF'14), RISC-Linz Report Series No. 14-06, 22-26, 2014
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Carsten Lutz and Michael Thielscher, eds., Proceedings of the 37th German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 135-146, 2014. Springer
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 33-44, 2014
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Decidable Gödel description logics without the finitely-valued model property
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 228-237, 2014. AAAI Press
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Description Logics with General Models
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 391-403, 2014
Details Download
Stefan Borgwardt
Fuzzy DLs over Finite Lattices with Nominals
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 58-70, 2014
Details Download
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Many-Valued Horn Logic is Hard
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV'14), volume 1205 of CEUR Workshop Proceedings, 52-58, 2014
Details Download
Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCOI Harder
In F. Bobillo and R.N. Carvalho and P.C.G. da Costa and C. d'Amato and N. Fanizzi and K.B. Laskey and K.J. Laskey and Th. Lukasiewicz and M. Nickles and M. Pool, eds., Uncertainty Reasoning for the Semantic Web III, volume 8816 of LNCS, 122-141, 2014. Springer
Details Download
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
The Fuzzy Description Logic G-FL_0 with Greatest Fixed-Point Semantics
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 62-76, 2014. Springer
Details Download
Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza
Gödel FL_0 with Greatest Fixed-Point Semantics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 71-82, 2014
Details Download
Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso
Verification of Context-Sensitive Knowledge and Action Bases
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 514--528, 2014. Springer
Details Download
Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
On the expressiveness of MTL and TPTL over omega-data words
In Zoltán Ésik, Zoltán Fülöp, eds., Proceedings 14th International Conference on Automata and Formal Languages, volume 151, 174--187, 2014. Electronic Proceedings in Theoretical Computer Science
Details
Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil, Karin Quaas
Satisfiability for MTL and TPTL over non-monotonic data words
Language and Automata Theory and Applications: 8th International Conference, LATA 2014, 248--259, 2014. Springer International Publishing
Details
İsmail İlkan Ceylan, Rafael Peñaloza
Reasoning in the Description Logic BEL using Bayesian Networks
In Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole, eds., Proceedings of the 4th International Workshop on Statistical Relational AI (starAI 2014), volume WS-14-13 of AAAI Workshops, 2014. AAAI Press
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Tight Complexity Bounds for Reasoning in the Description Logic BEL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, 77-91, 2014. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
The Bayesian Description Logic BEL
In Stephane Demri and Deepak Kapur and Christoph Weidenbach, eds., Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), volume 8562 of Lecture Notes in Computer Science, 480-494, 2014. Springer
Details Download
İsmail İlkan Ceylan, Rafael Peñaloza
Bayesian Description Logics
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, 447-458, 2014. CEUR-WS
Details Download
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Evaluation of Extraction Techniques for Ontology Excerpts
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 471-482, 2014
Details Download
Long Cheng, Yue Ma
Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies
Proc. 14th IEEE International Conference on BioInformatics and BioEngineering (BIBE'14), 220-225, November 2014. IEEE
Details Download
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
In Carla E. Brodley; Peter Stone, eds., Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI'14), 1012--1019, July 2014. AAAI Press
Details Download
Chiara Del Vescovo, Rafael Peñaloza
DeaLing with Ontologies using CODs
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 157-168, 2014
Details Download
Stathis Delivorias, Haralampos Hatzikirou, Rafael Penaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014), Lecture Notes in Computer Science, 2014. Springer
Details Download
Felix Distel, Jamal Atif, Isabelle Bloch
Concept Dissimilarity with Triangle Inequality
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), to appear. AAAI Press
Details Download
Felix Distel, Jamal, Atif, Isabelle Bloch
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations
In Torsten Schaub, eds., Proceedings of the 21st International Conference on Artificial Intelligence (ECAI'14), 2014
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Mary, What's Like All Cats?
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 526-529, 2014
Details Download
Andreas Ecke
Similarity-based Relaxed Instance Queries in EL^++
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, CEUR-WS, to appear. CEUR
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Instance Queries Relaxed by Concept Similarity
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 248-257, 2014. AAAI Press
Details Download
Fredo Erxleben, Michael Günther, Markus Krötzsch, Julian Mendez, Denny Vrandečić
Introducing Wikidata to the Linked Data Web
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., Proceedings of the 13th International Semantic Web Conference (ISWC 2014), volume 8796 of LNCS, 50-65, October 2014. Springer
Details Download
Marcus Hähnel, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
Bridging the Application Knowledge Gap
Workshop on Adaptive and Reflective Middleware'14, December 2014
Details Download
Michel Ludwig, Boris Konev
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
In Chitta Baral and Giuseppe De Giacomo and Thomas Eiter, eds., Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014. AAAI Press
Details Download
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. EL Ontologies
In Samantha Bail and Birte Glimm and Ernesto Jiménez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller, eds., Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), volume 1207, 1-7, 2014. CEUR Workshop Proceedings
Details Download
Michel Ludwig, Dirk Walther
The Logical Difference for ELHr-Terminologies using Hypergraphs
In Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan, eds., Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, 555-560, 2014. IOS Press
Details
Michel Ludwig, Dirk Walther
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 287-298, 2014
Details Download
Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic EL
In Eduardo Fermé and João Leite, eds., Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), volume 8761 of Lecture Notes in Artificial Intelligence, 107-121, 2014. Springer
Details Download
Michel Ludwig, Rafael Peñaloza
Brave and Cautious Reasoning in EL
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 274-286, 2014
Details Download
Yue Ma, Rafael Peñaloza
Towards Parallel Repair: An Ontology Decomposition-based Approach
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 633-645, 2014
Details Download
Theofilos Mailis, Anni-Yasmin Turhan
Employing DL-LiteR-Reasoners for Fuzzy Query Answering
In Thepchai Supnithi and Takahira Yamaguchi, eds., Proceedings of the 4th Joint International Semantic Technology Conference (JIST2014), 2014. Lecture Notes in Computer Science
Details Download
Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics
In Roman Kontchakov and Marie-Laure Mugnier, eds., Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR 2014), volume 8741, 124-139, 2014. Springer
Details Download
Francisco Martin-Recuerda, Dirk Walther
Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs
In Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig Knoblock and Denny Vrandecic and Paul Groth and Natasha Noy and Krzysztof Janowicz and Carole Goble, eds., Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II, volume 8797 of Lecture Notes in Computer Science, 49-64, 2014. Springer
Details Download
Francisco Martin-Recuerda, Dirk Walther
Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 299-310, 2014
Details Download
Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
Reasoning in ALC with Fuzzy Concrete Domains
In Carsten Lutz and Michael Thielscher, eds., Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 171-182, 2014. Springer
Details Download
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Certain Answers in a Rough World
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 709-712, 2014
Details Download
Rafael Peñaloza
Automata-based Reasoning in Fuzzy Description Logics
In Tommaso Flaminio and Lluis Godo and Siegfried Gottlob and Erich Peter Klement, eds., Proceedings of the 35th Linz Seminar on Fuzzy Set Theory, 106-106, 2014
Details Download
Rafael Peñaloza, Aparna Saisree Thuluva
COBRA, a Demo
In C. Maria Keet and Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014), volume 1265 of CEUR Workshop Proceedings, 2014
Details Download
Johannes Wollbold, Rüdiger Köhling, Daniel Borchmann
Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing
In Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea, eds., Proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), volume 8478 of Lecture Notes in Computer Science, 268-283, 2014. Springer
Details
Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs
Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14), to appear. AAAI Press
Details Download
Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
To Encode or to Propagate? The Best Choice for Each Constraint in SAT
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013
Details
Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013
Details
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
Mathematical Morphology Operators over Concept Lattices
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Proceedings of the 11th International Conference on Formal Concept Analysis (ICFCA'13), volume 7880 of Lecture Notes in Computer Science, 28-43, 2013. Springer
Details Download
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
A fuzzy extension of explanatory relations based on mathematical morphology
In Gabriella Pasi and Javier Montero, eds., Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), to appear
Details
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 295-310, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid EL-Unification is NP-Complete
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 29-40, July 2013
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access
In Maria Paola Bonacina, eds., Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, 330-344, 2013. Springer
Details Download
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 181-196, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Barbara Morawska and Konstantin Korovin, eds., Proceedings of the 27th International Workshop on Unification (UNIF'13), 2013
Details Download
Daniel Borchmann
Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data
Proceedings of the Seventh International Conference on Knowledge Capture, 1-8, 2013. ACM
Details Download
Daniel Borchmann
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings, volume 7880 of Lecture Notes in Computer Science, 60-75, 2013. Springer
Details Download
Daniel Borchmann
Experience Based Nonmonotonic Reasoning
In Pedro Cabalar, Tran Cao Son, eds., Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, 200-205, 2013. Springer
Details Download
Daniel Borchmann
Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals
Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 65-79, July 2013. CEUR-WS.org
Details Download
Stefan Borgwardt, Rafael Peñaloza
About Subsumption in Fuzzy EL
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 526-538, 2013
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 165-180, 2013. Springer
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, July 2013. CEUR-WS.org
Details Download
Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-norms
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 789-795, 2013. AAAI Press
Details Download
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Details
Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
Situation Recognition for Service Management Systems Using OWL 2 Reasoners
Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, 31-36, March 2013. IEEE Computer Society
Details Download
Felix Distel, Yue Ma
A hybrid approach for learning concept definitions from text
Proceedings of the 2013 International Workshop on Description Logics (DL'13), CEUR-WS, to appear
Details
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Towards Instance Query Answering for Concepts Relaxed by Similarity Measures
Workshop on Weighted Logics for AI (in conjunction with IJCAI'13), 2013
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Computing Role-depth Bounded Generalizations in the Description Logic ELOR
In Ingo J. Timm and Matthias Thimm, eds., Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, 49-60, 2013. Springer
Details Download
Andreas Ecke, Michel Ludwig, Dirk Walther
The Concept Difference for EL-Terminologies using Hypergraphs
Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013), volume 1008 of CEUR-WS, 2013
Details Download
Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about Actions Meets Strategic Logics
In Davide Grossi and Olivier Roy and Huaxin Huang, eds., Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings, volume 8196 of Lecture Notes in Computer Science, 162-175, 2013. Springer
Details Download
Michel Ludwig, Boris Konev
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR-WS, 377-389, 2013
Details Download
Yue Ma, Felix Distel
Concept Adjustment for Description Logics
In Mathieu d'Aquin and Andrew Gordon, eds., Proceedings of the 7th International Conference on Knowledge Capture, 2013. ACM
Details Download
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
In Niels Peek and Roque Marín Morales and Mor Peleg, eds., Artificial Intelligence in Medicine, volume 7885 of Lecture Notes in Computer Science, 73-77, 2013. Springer
Details Download
Yue Ma, Qingfeng Chang
Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers
The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, to appear
Details
Yue Ma, Julian Mendez
High Quality Data Generation: An Ontology Reasoning based Approach
International Workshop on Artificial Intelligence for Big Data (in conjunction with IJCAI'13), to appear
Details
Yue Ma, Adelina Nazarenko François Lévy
Semantic Annotation in Specific Domains with rich Ontologies (in French)
20ème conférence du Traitement Automatique du Langage Naturel, to appear
Details
Francisco Martin-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
In Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther, eds., 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, 2013. CEUR-WS.org
Details Download
Rafael Peñaloza, Tingting Zou
Roughening the EL Envelope
In P. Fontaine and C. Ringeissen and R. A. Schmidt, eds., Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 71-86, 2013. Springer
Details Download
Rafael Peñaloza, Tingting Zou
Rough EL Classification
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 415-427, 2013
Details Download
Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in EL with Subjective Probabilities
In Fernando Bobillo and Paulo C. G. Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80-98, 2013. Springer
Details Download
Veronika Thost, Konrad Voigt, Daniel Schuster
Query Matching for Report Recommendation
Proceedings of the 22Nd ACM International Conference on Conference on Information and Knowledge Management, CIKM '13, 1391-1400, 2013. ACM
Details Download
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download
Anni-Yasmin Turhan
Introductions to Description Logics - A Guided Tour
In Sebastian Rudolph and Georg Gottlob and Ian Horrocks and Frank van Harmelen, eds., In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School, volume 8067 of Lecture Notes in Computer Science, 150-161, 2013. Springer
Details
Anni-Yasmin Turhan, Benjamin Zarrieß
Computing the lcs w.r.t. General EL^+ TBoxes
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), CEUR Workshop Proceedings, 477-488, July 2013. CEUR-WS.org
Details Download
Benjamin Zarrieß, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, Barbara Morawska
UEL: Unification Solver for EL
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 26-36, 2012
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 568-572, 2012. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 30-44, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 37-47, 2012
Details Download
Franz Baader, 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, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12), volume 7180 of Lecture Notes in Computer Science, 107-121, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard
In Silvio Ghilardi and Lawrence Moss, eds., Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012
Details Download
Franz Baader, Julian Mendez, Barbara Morawska
UEL: Unification Solver for the Description Logic EL – System Description
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 45-51, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
In Michael Thielscher and Dongmo Zhang, eds., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012
Details Download
Daniel Borchmann
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
In Laszlo Szathmary, Uta Priss, eds., Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, volume 972 of CEUR Workshop Proceedings, 9-20, October 2012
Details Download
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, 138-152, 2012. Springer
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Details Download
Stefan Borgwardt, Rafael Peñaloza
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
In Markus Krötzsch and Umberto Straccia, eds., Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, 9-24, 2012. Springer
Details Download
Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 232-242, 2012. AAAI Press
Details Download
Felix Distel
Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics
Proceedings of the 9th international conference on concept lattices and their applications (CLA 2012), 2012
Details Download
Andreas Ecke, Anni-Yasmin Turhan
Optimizations for the role-depth bounded least common subsumer in el+
In Matthew Horridge and Pavel Klinov, eds., Proc. of 9th OWL: Experiences and Directions Workshop (OWLED 2012), volume 849, 2012
Details Download
Andreas Ecke, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumers for EL+ and ELI
In Yevgeny Kazakhov and Frank Wolter, eds., Proc. of Description Logics Workshop, volume 846 of CEUR, 2012
Details Download
Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012
Details Download
Karsten Lehmann, Anni-Yasmin Turhan
A Framework for Semantic-based Similarity Measures for ELH-Concepts
In Luis Fariñas del Cerro and Andreas Herzig and Jérôme Mengin, eds., Proceedings of the 13th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, 307-319, 2012. Springer
Details Download
Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012
Details Download
Frederick Maier, Yue Ma, Pascal Hitzler
Paraconsistent OWL and Related Logics
Semantic Web journal, March 2012
Details Download
Guohui Xiao, Yue Ma
Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets
Proceedings of European Conference on Artificial Intelligence (ECAI'12), 864-869, 2012
Details Download
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings, June 2012. CEUR-WS.org
Details Download
Franz Baader, Rafael Peñaloza
On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm
In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, 55-70, 2011. Springer
Details Download
Franz Baader, Rafael Peñaloza
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 2011
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, 70-84, 2011. Springer
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 26-36, 2011
Details Download
Franz Baader, Rafael Peñaloza
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
Details Download
Daniel Borchmann, Felix Distel
Mining of EL-GCIs
The 11th IEEE International Conference on Data Mining Workshops, December 2011. IEEE Computer Society
Details Download
Daniel Borchmann
Decomposing Finite Closure Operators by Attribute Exploration
In Florent Domenach, Robert Jäschke, Petko Valtchev, eds., Contributions to ICFCA 2011, 24-37, May 2011. University of Nicosia
Details Download
Stefan Borgwardt, Rafael Peñaloza
Description Logics over Lattices with Multi-valued Ontologies
In Toby Walsh, eds., Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), 768-773, 2011. AAAI Press
Details Download
Stefan Borgwardt, Rafael Peñaloza
Fuzzy Ontologies over Lattices with T-norms
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 70-80, 2011. CEUR-WS.org
Details Download
Stefan Borgwardt, Rafael Peñaloza
The Inclusion Problem for Weighted Automata on Infinite Trees
In Pál Dömösi and Szabolcs Iván, eds., Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), 108-122, 2011. College of Nyíregyháza
Details Download
Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCI Harder
In Fernando Bobillo et.al., eds., Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, 51-62, 2011
Details Download
Felix Distel
Some Complexity Results about Essential Closed Sets
In Petko Valtchev and Robert J"aschke, eds., International Conference on Formal Concept Analysis, volume 6628 of LNCS, 81-92, 2011
Details Download
Eldora, Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence More Flexibly
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 2011
Details Download
Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
Implementing completion-based inferences for the el-family
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the international Description Logics workshop, volume 745, 2011. CEUR
Details Download
R. Peñaloza, Anni-Yasmin Turhan
A Practical Approach for Computing Generalization Inferences in EL
In Marko Grobelnik and Elena Simperl, eds., Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science, 2011. Springer
Details Download
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast Computation of Proper Premises
In Amedeo Napoli and Vilem Vychodil, eds., International Conference on Concept Lattices and Their Applications, 101-113, 2011. INRIA Nancy – Grand Est and LORIA
Details Download
Anni-Yasmin Turhan
Description Logic reasoning for Semantic Web Ontologies – Extended abstract
In Rajendra Akerkar, eds., Proceedings of the first International Conference on Web Intelligence, Mining and Semantics, 2011. ACM
Details Download
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Description Logics
In Fangzhen Lin and Ulrike Sattler, eds., Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), 2010. AAAI Press
Details Download
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
In Christian G. Fermüller and Andrei Voronkov, eds., 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), 97-111,  2010. Springer
Details Download
Franz Baader, Hongkai Liu, Anees ul Mehdi
Verifying Properties of Infinite Sequences of Description Logic Actions
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI10), volume 215 of Frontiers in Artificial Intelligence and Applications, 53-58, 2010. IOS Press
Details Download
Franz Baader, Marcel Lippmann, 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, eds., 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), 82-96,  2010. Springer
Details Download
Felix Distel
An Approach to Exploring Description Logic Knowledge Bases
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 209-224, 2010. Springer
Details Download
Felix Distel
Hardness of Enumerating Pseudo-Intents in the Lectic Order
In Barış Sertkaya and Léonard Kwuida, eds., Proceedings of the 8th International Conference on Formal Concept Analysis, (ICFCA 2010), volume 5986 of Lecture Notes in Artificial Intelligence, 124-137, 2010. Springer
Details Download
Martin Knechtel, Heiner Stuckenschmidt
Query-Based Access Control for Ontologies
In P. Hitzler and T. Lukasiewicz, eds., Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), volume 6333 of Lecture Notes in Computer Science, 73-87, 2010
Details Download
Martin Knechtel, Rafael Peñaloza
A Generic Approach for Correcting Access Restrictions to a Consequence
In Lora Aroyo and Grigoris Antoniou and Eero Hyvönen and Annette ten Teije and Heiner Stuckenschmidt and Liliana Cabral and Tania Tudorache, eds., Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010), volume 6088 of Lecture Notes in Computer Science, 167-182, 2010
Details Download
Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 23rd International Workshop on Description Logics (DL 2010), volume 573 of CEUR-WS, 220-231, 2010
Details Download
Rafael Peñaloza
Using Sums-of-Products for Non-standard Reasoning
In A.-H. Dediu and H. Fernau and C. Martín-Vide, eds., Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA 2010), volume 6031 of Lecture Notes in Computer Science, 488-499, 2010. Springer
Details Download
Rafael Peñaloza, Anni-Yasmin Turhan
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities
In Thomas Lukasiewicz and Rafael Peñaloza and Anni-Yasmin Turhan, eds., Proceedings of the First International Workshop on Uncertainty in Description Logics (UniDL'10), volume 613 of CEUR-WS, 2010
Details Download
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in the EL Family of Description Logics
In Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski, eds., Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), 2010. AAAI Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
In Helder Coelho and Rudi Studer and Michael Wooldridge, eds., Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), volume 215 of Frontiers in Artificial Intelligence and Applications, 29-34, 2010. IOS Press
Details Download
Rafael Peñaloza, Barış Sertkaya
Complexity of Axiom Pinpointing in the DL-Lite Family
In Volker Haarslev and David Toman and Grant Weddell, eds., Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, 2010
Details Download
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
A Novel Architecture for Situation Awareness Systems
In Martin Giese and Arild Waaler, eds., 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, 77-92, 2009. Springer
Details Download
Franz Baader, Barbara Morawska
Unification in the Description Logic EL
In Ralf Treinen, eds., Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), volume 5595 of Lecture Notes in Computer Science, 350-364, 2009. Springer
Details Download
Franz Baader, Martin Knechtel, 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., eds., Proceedings of the 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, 49-64, 2009
Details Download
Franz Baader, Felix Distel
Exploring Finite Models in the Description Logic ELgfp
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 146-161, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Alwen Tiu
Matching Trace Patterns with Regular Policies
In A.H. Dediu and A.M. Ionescu and C. Martin-Vide, eds., Proceedings of the Third International Conference on Language, and Automata Theory, and Applications (LATA 2009), volume 5457 of Lecture Notes in Artificial Intelligence, 105-116, 2009. Springer
Details Download
Franz Baader, Stefan Schulz, Kent Spackmann, Bontawee Suntisrivaraporn
How Should Parthood Relations be Expressed in SNOMED CT?
Proceedings of 1. Workshop des GI-Arbeitskreises Ontologien in Biomedizin und Lebenswissenschaften (OBML 2009), 2009
Details Download
Franz Baader, Barış Sertkaya
Usability Issues in Description Logic Knowledge Base Completion
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Ingelligence, 1-21, 2009. Springer
Details Download
Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic
In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Frithjof Dau, Martin Knechtel
Access Policy Design Supported by FCA Methods
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662 of Lecture Notes in Computer Science, 141-154, 2009
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
In Silvio Ghilardi and Roberto Sebastiani, eds., The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download
Bernhard Ganter, Daniel Borchmann
Concept Lattice Orbifolds -- First Steps
In Sèbastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis (ICFCA 2009), volume 5548 of Lecture Notes in Computer Science, 22-37, 2009. Springer
Details Download
Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository
In Uwe M. Borghoff and Boris Chidlovskii, eds., Proceedings of the 2009 ACM Symposium on Document Engineering (DocEng 2009), 43-46, 2009
Details Download
Julian Mendez, Boontawee Suntisrivaraporn
Reintroducing CEL as an OWL 2 EL Reasoner
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Rafael Peñaloza
Reasoning With Weighted Ontologies
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Rafael Peñaloza
Using Tableaux and Automata for Pinpointing in EL
In Valentin Goranko, eds., TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09), 2009
Details Download
Rafael Peñaloza, Barış Sertkaya
Axiom Pinpointing is Hard
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
OntoComP System Description
In Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler, eds., Proceedings of the 2009 International Workshop on Description Logics (DL2009), volume 477 of CEUR-WS, 2009
Details Download
Barış Sertkaya
Towards the Complexity of Recognizing Pseudo-intents
In Frithjof Dau and Sebastian Rudolph, eds., Proceedings of the 17th International Conference on Conceptual Structures, (ICCS 2009), volume 5662, 284-292, 2009
Details Download
Barış Sertkaya
OntoComP: A Protege Plugin for Completing OWL Ontologies
Proceedings of the 6th European Semantic Web Conference, (ESWC 2009), volume 5554 of Lecture Notes in Computer Science, 898-902, 2009. Springer
Details Download
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
In Sébastien Ferré and Sebastian Rudolph, eds., Proceedings of the 7th International Conference on Formal Concept Analysis, (ICFCA 2009), volume 5548 of Lecture Notes in Artificial Intelligence, 130-145, 2009. Springer
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Franz Baader, Felix Distel
A Finite Basis for the Set of EL-Implications Holding in a Finite Model
In Raoul Medina and Sergei Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Artificial Intelligence, 46-61, 2008. Springer
Details Download
Franz Baader, Boontawee Suntisrivaraporn
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+
Proceedings of the 3rd Knowledge Representation in Medicine (KR-MED'08): Representing and Sharing Knowledge Using SNOMED, volume 410 of CEUR-WS, 2008
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR2008), 2008
Details Download
Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope Further
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Franz Baader, Rafael Peñaloza
Automata-Based Axiom Pinpointing
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), volume 5195 of Lecture Notes in Artificial Intelligence, 226-241, 2008. Springer
Details Download
Meghyn Bienvenu
Prime Implicate Normal Form for ALC Concepts
Proceedings of the Twenty-Third Conference on Artificial Intelligence (AAAI-08), 412-417, 2008. AAAI Press
Details Download
Meghyn Bienvenu
Complexity of Abduction in the EL Family of Lightweight Description Logics
In Gerhard Brewka and Jérôme Lang, eds., Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08), 220-230, 2008. AAAI Press
Details Download
Christoph Haase, Carsten Lutz
Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 25-29, 2008. IOS Press
Details Download
Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
MoDDo - a tailored documentation system for model-driven software development
ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, 321-324, 2008
Details Download
Miki Hermann, Barış Sertkaya
On the Complexity of Computing Generators of Closed Sets
In Raoul Medina and Sergei A. Obiedkov, eds., Proceedings of the 6th International Conference on Formal Concept Analysis, (ICFCA 2008), volume 4933 of Lecture Notes in Computer Science, 158-168, 2008. Springer
Details Download
Martin Knechtel, Jan Hladik, Frithjof Dau
Using OWL DL Reasoning to decide about authorization in RBAC
In Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, eds., OWLED '08: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions, volume 432 of CEUR Workshop Proceedings, 2008
Details Download
Martin Knechtel
Access restriction inside ontologies
In Rainer Ruggaber, eds., 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
Details Download
Martin Knechtel
Access rights and collaborative ontology integration for reuse across security domains
In Philippe Cudré-Mauroux, eds., Proceedings of the ESWC 2008 Ph.D. Symposium, volume 358 of CEUR Workshop Proceedings, ISSN 1613-0073, 36-40, 2008
Details Download
Martin Knechtel, Daniel Schuster
Semantische Integration und Wiederverwendung von Produktontologien für offene Marktplätze im Web
Proceedings of GeNeMe'08 Workshop, 2008
Details Download
Martin Knechtel, Jan Hladik
RBAC Authorization Decision with DL Reasoning
ICWI '08: Proceedings of the IADIS International Conference WWW/Internet, 169-176, 2008
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolte r
Logical Difference and Module Extraction with CEX and MEX
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Formal Properties of Modularisation
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNCS, 179-193, 2008. Springer
Details Download
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
Semantic Modularity and Module Extraction in Description Logics
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI08), volume 178 of Frontiers in Artificial Intelligence and Applications, 55-59, 2008. IOS Press
Details Download
Hongkai Liu, Carsten Lutz, Maja Milicic
The Projection Problem for EL Actions
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Carsten Lutz
Two Upper Bounds for Conjunctive Query Answering in SHIQ
Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Carsten Lutz, Frank Wolter, Michael Zakharyaschev
Temporal Description Logics: A Survey
Proceedings of the Fifteenth International Symposium on Temporal Representation and Reasoning, 2008. IEEE Computer Society Press
Details Download
Carsten Lutz
The Complexity of Conjunctive Query Answering in Expressive Description Logics
In Alessandro Armando and Peter Baumgartner and Gilles Dowek, eds., Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR2008), LNAI, 179-193, 2008. Springer
Details Download
Rafael Peñaloza
Automata-based Pinpointing for DLs
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Barış Sertkaya
Explaining User Errors in Description Logic Knowledge Base Completion
Informal Proceedings of the 2008 International Workshop on Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08), 2008
Details Download
Barış Sertkaya
Explaining User Errors in Knowledge Base Completion
Proceedings of the 2008 International Workshop on Description Logics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
Boontawee Suntisrivaraporn
Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies
In Sean Bechhofer and Manfred Hauswirth and Joerg Hoffmann and Manolis Koubarakis, eds., Proceedings of the 5th European Semantic Web Conference (ESWC'08), volume 5021 of Lecture Notes in Computer Science, 230-244, 2008. Springer
Details Download
Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase
A Modularization-based Approach to Finding All Justifications for OWL DL Entailments
In John Domingue and Chutiporn Anutariya, eds., Proceedings of the 3th Asian Semantic Web Conference (ASWC'08), volume 5367 of Lecture Notes in Computer Science, 1-15, 2008. Springer
Details Download
Boontawee Suntisrivaraporn
Empirical evaluation of reasoning in lightweight DLs on life science ontologies
Proceedings of the 2nd Mahasarakham International Workshop on AI (MIWAI'08), 2008
Details Download
Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 218-223, 2007. AAAI Press
Details Download
A. Artale, R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporalising Tractable Description Logics
Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning, 2007. IEEE Computer Society Press
Details Download
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 30th German Conference on Artificial Intelligence (KI2007), volume 4667 of Lecture Notes in Artificial Intelligence, 52-67, 2007. Springer
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. AAAI Press
Details Download
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn
Pinpointing in the Description Logic EL
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download
Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Journal of Logic, Language and Information, Special Issue on Method for Modality (M4M), to appear
Details Download
Franz Baader, J. Hladik, R. Peñaloza
SI! Automata Can Show PSPACE Results for Description Logics
In C. Martin-Vide, eds., Proceedings of the First International Conference on Language and Automata Theory and Applications (LATA'07), 2007
Details Download
Franz Baader, J. Hladik, R. Peñaloza
Blocking Automata for PSPACE DLs
In D. Calvanese and E. Franconi and S. Tessaris, eds., Proceedings of the 2007 International Workshop on Description Logics, CEUR-WS, 2007
Details Download
Franz Baader, Rafael Peñaloza
Axiom Pinpointing in General Tableaux
In N. Olivetti, eds., 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, 11-27, 2007. Springer
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
In Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, eds., Proceedings of the Third International Workshop OWL: Experiences and Directions (OWLED 2007), volume 258, 2007. CEUR-WS
Details Download
Balder ten Cate, Carsten Lutz
Query Containment in Very Expressive XPath dialects
In Leonid Libkin, eds., 26th ACM Symposium on Principles of Database Systems (PODS'07), 73-82, 2007. ACM Press
Details Download
Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler
Answering conjunctive queries in the SHIQ description logic
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 299-404, 2007. AAAI Press
Details Download
Stefan Göller, Markus Lohrey, Carsten Lutz
PDL with Intersection and Converse is 2EXP-complete
In Helmut Seidl, eds., Proceedings of the Tenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'07), volume 4423 of Lecture Notes in Computer Science, 198-212, 2007. Springer
Details Download
Adila Krisnadhi, Carsten Lutz
Data Complexity in the EL family of Description Logics
In Nachum Dershowitz and Andrei Voronkov, eds., Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2007), volume 4790 of Lecture Notes in Artificial Intelligence, 333-347, 2007. Springer
Details Download
A. Krisnadhi, Carsten Lutz
Data Complexity in the EL family of DLs
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download
Carsten Lutz, Frank Wolter
Conservative Extensions in the Lightweight Description Logic EL
In Frank Pfenning, eds., Proceedings of the 21th Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, 84-99, 2007. Springer
Details Download
Carsten Lutz
Inverse Roles Make Conjunctive Queries Hard
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, to appear
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Conservative Extensions in Expressive Description Logics
In Manuela Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 453-458, 2007. AAAI Press
Details Download
Maja Milicic
Complexity of Planning in Action Formalisms Based on Description Logics
Proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Lecture Notes in Artificial Intelligence, 2007. Springer
Details Download
Maja Milicic
Planning in Action Formalisms based on DLs: First Results
Proceedings of the 2007 International Workshop on Description Logics (DL2007), CEUR-WS, 2007
Details Download
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader
SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions
Proceedings of The Medinfo 2007 Congress, Studies in Health Technology and Informatics (SHTI-series), 2007. IOS Press
Details Download
Boontawee Suntisrivaraporn, Franz Baader, Stefan Schulz, Kent Spackman
Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators
In Jim Hunter Riccardo Bellazzi, Ameen Abu-Hanna, eds., Proceedings of the 11th Conference on Artificial Intelligence in Medicine (AIME'07), Lecture Notes in Computer Science, 2007. Springer
Details Download
Anni-Yasmin Turhan, Y. Bong
Speeding up Approximation with Nicer Concepts
In D. Calvanese and E. Franconi and V. Haarslev and D. Lembo and B. Motik and S. Tessaris and A.-Y. Turhan, eds., Proc. of the 2007 Description Logic Workshop (DL 2007), 2007
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
CEL—A Polynomial-time Reasoner for Life Science Ontologies
In U. Furbach and N. Shankar, eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), volume 4130 of Lecture Notes in Artificial Intelligence, 287-291, 2006. Springer
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Efficient Reasoning in EL^+
Proceedings of the 2006 International Workshop on Description Logics (DL2006), CEUR-WS, 2006
Details Download
Franz Baader, A. Okhotin
Complexity of Language Equations With One-Sided Concatenation and All Boolean Operations
In Jordi Levy, eds., Proceedings of the 20th International Workshop on Unification, UNIF'06, 59-73, 2006
Details Download
P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 400-410, 2006. AAAI Press
Details Download
P. Bonatti, Carsten Lutz, A. Murano, M. Vardi
The Complexity of Enriched µ-Calculi
In Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener, eds., Proccedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II (ICALP'06), volume 4052 of Lecture Notes in Computer Science, 540-551, 2006. Springer
Details Download
S. Ghilardi, Carsten Lutz, Frank Wolter
Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 187-197, 2006. AAAI Press
Details Download
S. Ghilardi, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Conservative Extensions in Modal Logics
In Guido Governatori and Ian Hodkinson and Yde Venema, eds., Advances in Modal Logics Volume 6, 187-207, 2006. College Publications
Details Download
Jan Hladik, Rafael Peñaloza
PSPACE Automata for Description Logics
In B. Parsia and U. Sattler and D. Toman, eds., Proceedings of the 2006 International Workshop on Description Logics (DL'06), volume 189 of {CEUR-WS}, 2006
Details Download
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
In Patrick Doherty and John Mylopoulos and Christopher Welty, eds., Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06), 46-56, 2006. AAAI Press
Details Download
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Reasoning about Actions using Description Logics with general TBoxes
In Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa, eds., Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), volume 4160 of Lecture Notes in Artificial Intelligence, 266-279, 2006. Springer
Details Download
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Proceedings of the 2006 International Workshop on Description Logics (DL2006), 2006
Details Download
Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
In Peter Stone and Gerhard Weiss, eds., Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), 137-144, 2006. Association for Computing Machinery (ACM)
Details Download
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, to appear
Details Download
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, eds., Contributions to ICFCA 2006, 73-86, 2006. Verlag Allgemeine Wissenschaft
Details Download
Anni-Yasmin Turhan, Thomas Springer, Michael Berger
Pushing Doors for Modeling Contexts with OWL DL –a Case Study
In Jadwiga Indulska and Daniela Nicklas, eds., Proceedings of the Workshop on Context Modeling and Reasoning (CoMoRea'06), March 2006. IEEE Computer Society
Details Download
Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Möller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, Timo Weithöner
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners
In Bernardo Cuenca Grau and Pascal Hitzler and Connor Shankey and Evan Wallace, eds., In Proceedings of the second international workshop OWL: Experiences and Directions, November 2006
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, 18-33, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, 2005. Morgan-Kaufmann Publishers
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Structures and Theories through Adjoint Functions
Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05), volume 3717 of Lecture Notes in Artificial Intelligence, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Proceedings of the Methods for Modalities Workshop (M4M-05), 2005
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, 278-294, 2005. Springer
Details Download
Sebastian Brandt, Jörg Model
Subsumption in EL w.r.t. hybrid TBoxes
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence, 2005. Springer
Details Download
J. Hladik
A Generator for Description Logic Formulas
In I. Horrocks and U. Sattler and F. Wolter, eds., Proceedings of DL 2005, 2005. CEUR-WS
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, 2005. Springer
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Carsten Lutz
PDL with Intersection and Converse is Decidable
Annual Conference of the European Association for Computer Science Logic CSL'05, LNCS, 2005. Springer
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning, 2005. IEEE Computer Society Press
Details Download
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Franz Baader, B. Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
In José Júlio Alferes and João Alexandre Leite, eds., Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, 400-412, 2004. Springer
Details Download
Franz Baader, B. Sertkaya
Applying Formal Concept Analysis to Description Logics
In P. Eklund, eds., Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, 261-286, 2004. Springer
Details Download
Franz Baader, S. Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 183-197, 2004. Springer
Details Download
Franz 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, eds., Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, 177-188, 2004. Springer
Details Download
Sebastian Brandt, Hongkai Liu
Implementing Matching in ALN
Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, September 2004
Details Download
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, eds., Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 298-302, 2004. IOS Press
Details Download
Sebastian Brandt
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
J. Hladik
A Tableau System for the Description Logic SHIO
In Ulrike Sattler, eds., Contributions to the Doctoral Programme of IJCAR 2004, 2004. CEUR
Details Download
J. Hladik, J. Model
Tableau Systems for SHIO and SHIQ
In V. Haarslev and R. Möller, eds., Proceedings of the 2004 International Workshop on Description Logics (DL 2004), 2004. CEUR
Details Download
J. Hladik
Spinoza's Ontology
In G. Büchel and B. Klein and T. Roth-Berghofer, eds., Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), DFKI Research Reports, 2004. DFKI
Details Download
E. Karabaev, Carsten Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Proceedings of Advances in Modal Logics 2004, 2004
Details Download
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence, to appear. Springer
Details Download
Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), to appear
Details Download
Baris Sertkaya, Halit Oguztuzun
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004), volume 3280 of Lecture Notes in Computer Science, 976-985, 2004. Springer
Details Download
Anni-Yasmin Turhan, Christian Kissig
Sonic—Non-standard Inferences go OilEd
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 2004. Springer
Details Download
Anni-Yasmin Turhan, Christian Kissig
Sonic—System Description
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Franz Baader
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Franz Baader, J. Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, 1-32, 2003. Springer
Details Download
Franz Baader
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 64-78, 2003. Springer
Details Download
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, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 319-324, 2003. Morgan Kaufman
Details Download
Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 325-330, 2003. Morgan Kaufmann
Details
Franz Baader
Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial Intelligence, 117-130, 2003. Springer
Details Download
Sebastian Brandt
Implementing Matching in ALE—First Results
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Sebastian Brandt, Anni-Yasmin Turhan
Computing least common subsumers for FLE^+
Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003
Details Download
Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Extensions of Non-standard Inferences to Description Logics with transitive Roles
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science, 2003. Springer
Details Download
Nachum Dershowitz, Mitchell A. Harris
Enumerating Satisfiable Propositional Formulae
Eurocomb, 2003
Details Download
Jan Hladik
Reasoning about Nominals with FaCT and RACER
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
J. Hladik, Ulrike Sattler
A Translation of Looping Alternating Automata to Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download
Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003), 2003. Morgan-Kaufmann Publishers
Details Download
O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-connections of Description Logics
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Carsten Lutz, Frank Wolter, M. Zakharyaschev
A tableau algorithm for reasoning about concepts and similarity
Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI, 2003. Springer
Details Download
Carsten Lutz, Frank Wolter, M. Zakharyaschev
Reasoning about concepts and similarity
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download
Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, 2003. Morgan-Kaufmann Publishers
Details Download
Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logics Volume 4, 2003. World Scientific Publishing Co. Pte. Ltd.
Details Download
Carsten Lutz, U.Sattler, L. Tendera
Finite Model reasoning in ALCQI is ExpTime-complete
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download
Ulrike Sattler
Description Logics for Ontologies
Proc. of the International Conference on Conceptual Structures (ICCS 2003), volume 2746 of LNAI, 2003. Springer
Details Download
C. Areces, Carsten Lutz
Concrete Domains and Nominals United.
In Carlos Areces and Patrick Blackburn and Maarten Marx and Ulrike Sattler, eds., Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02), 2002
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
In I. Horrocks and S. Tessaris, eds., Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download
Franz Baader, Anni-Yasmin Turhan
On the problem of computing small representations of least common subsumers
Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Franz Baader, Cesare Tinelli
Combining Decision Procedures for Positive Theories Sharing Constructors
In S. Tison, eds., Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA-02), volume 2378 of Lecture Notes in Computer Science, 338-352, 2002. Springer
Details Download
S. Brandt, Anni-Yasmin Turhan
An Approach for Optimized Approximation
Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2002. RWTH Aachen
Details Download
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics
In D. Fensel and F. Giunchiglia and D. McGuiness and M.-A. Williams, eds., Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 203-214, 2002. Morgan Kaufman
Details Download
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximating ALCN-Concept Descriptions
Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download
Thomas Hinze, U. Hatnik, Monika 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, eds., DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7) Tampa, FL, USA, 2001, volume 2340 of Series Lecture Notes in Computer Science, 2002. Springer
Details Download
J. Hladik
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
In U. Egly and C. G. Fermüller, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2002), volume 2381 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
J. Hladik
Implementation and evaluation of a tableau algorithm for the Guarded Fragment
In I. Horrocks and S. Tessaris, eds., Proceedings of the 2002 international workshop on description Logics (DL 2002), volume 53 of CEUR, 2002
Details Download
Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002
Details Download
O. Kupferman, Ulrike Sattler, M. Y. Vardi
The Complexity of the Graded mu-Calculus
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logic 2002 (AiML 2002), 2002
Details Download
Carsten Lutz, Ulrike Sattler
A Proposal for Describing Services with DLs
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download
Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download
G. Pan, Ulrike Sattler, M. Y. Vardi
BDD-Based Decision Procedures for K
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Transitive Closure of Roles
In R. Nieuwenhuis and A. Voronkov, eds., Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, 217-232, 2001. Springer
Details Download
Franz Baader, S. Brandt, R. Küsters
Matching under Side Conditions in Description Logics
In B. Nebel, eds., Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI'01, 213-218, 2001. Morgan Kaufmann
Details
Franz Baader, Anni-Yasmin Turhan
TBoxes do not yield a compact representation of least common subsumers
Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001
Details Download
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, volume 2083 of Lecture Notes in Artificial Intelligence, 92-106, 2001. Springer
Details Download
S. Brandt, Anni-Yasmin Turhan
Using Non-standard Inferences in Description Logics — what does it buy me?
Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2001. RWTH Aachen
Details Download
V. Haarslev, R. Möller, Anni-Yasmin Turhan
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
Proceedings of the International Joint Conference on Automated Reasoning IJCAR'01, LNAI, 2001. Springer
Details Download
U. Hatnik, Thomas Hinze, Monika 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, eds., Proceedings WSES International Conference on Simulation (SIM2001), Malta, 2001
Details Download
C. Hirsch, Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment
In F. Wolter and H. Wansing and M. de Rijke and M. Zakharyaschev, eds., Advances in Modal Logics Volume 3, 2001. CSLI Publications
Details Download
Ian Horrocks, Ulrike Sattler
Ontology Reasoning in the SHOQ(D) Description Logic
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Details Download
Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics
In Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev, eds., Advances in Modal Logics Volume 3, 2001. CSLI Publications, Stanford
Details Download
Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
In Rajeev Goré and Alexander Leitsch and Tobias Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artifical Intelligence, 45-60, 2001. Springer
Details Download
Carsten Lutz
Interval-based Temporal Reasoning with General TBoxes
In Bernhard Nebel, eds., Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence IJCAI-01, 89-94, 2001. Morgan-Kaufmann Publishers
Details Download
Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
Tableaux for Temporal Description Logic with Constant Domain
In Rajeev Goré and Alexander Leitsch and Tobias Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, Lecture Notes in Artifical Intelligence, 121-136, 2001. Springer
Details Download
Carsten Lutz, Ulrike Sattler, Frank Wolter
Description Logics and the Two-Variable Fragment
In D.L. McGuiness and P.F. Pater-Schneider and C. Goble and R. Möller, eds., Proceedings of the 2001 International Workshop in Description Logics (DL-2001), 66-75, 2001
Details Download
Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logics and the two-variable fragment
Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS, 2001. Springer
Details Download
Ulrike Sattler, M. Y. Vardi
The Hybrid mu-Calculus
In R. Goré and A. Leitsch and T. Nipkow, eds., Proceedings of the International Joint Conference on Automated Reasoning, volume 2083 of LNAI, 76-91, 2001. Springer
Details Download
Anni-Yasmin Turhan, R. Molitor
Using lazy unfolding for the computation of least common subsumers
Proceedings of the International Workshop in Description Logics 2001 (DL2001), August 2001
Details Download
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics
In F. Baader and U. Sattler, eds., Proceedings of the International Workshop in Description Logics 2000 (DL2000), CEUR-WS, 21-30, August 2000. RWTH Aachen
Details Download
Franz Baader, Ulrike Sattler
Tableau Algorithms for Description Logics
In R. Dyckhoff, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, 1-18, 2000. Springer
Details Download
Franz Baader, R. Molitor
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis
In B. Ganter and G. Mineau, eds., 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, 290-303, 2000. Springer
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 297-308, 2000. Morgan Kaufmann Publishers
Details Download
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 261-272, 2000. Morgan Kaufmann Publishers
Details Download
Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In H. Kirchner and Ch. Ringeissen, eds., Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, 257-271, 2000. Springer
Details Download
Thomas Hinze, Monika Sturm
Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation
In R. Freund, eds., Proceedings Theorietag 2000 (TT2000) Wien, 2000
Details Download
C. Hirsch, Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment
Proceedings of the Workshop Advances in Modal Logic AiML 2000, 2000
Details Download
Jan Hladik
Implementing the n-ary Description Logic GF1-
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ
In David MacAllester, eds., Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Lecture Notes in Computer Science, 2000. Springer
Details Download
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
In Andrei Voronkov, eds., Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), Lecture Notes in Artificial Intelligence, 2000. Springer
Details Download
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB-2000), 2000
Details Download
Ian Horrocks, Stephan Tobies
Reasoning with Axioms: Theory and Practice
In A. G. Cohn and F. Giunchiglia and B. Selman, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), 2000. Morgan Kaufmann Publishers
Details Download
Ian Horrocks, Stephan Tobies
Optimisation of Terminological Reasoning
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
Details Download
Carsten Lutz, Ulrike Sattler
Mary likes all Cats
In F. Baader and U. Sattler, eds., Proceedings of the 2000 International Workshop in Description Logics (DL2000), CEUR-WS, 213-226, August 2000. RWTH Aachen
Details Download
Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000
Details
Carsten Lutz
NExpTime-Complete Description Logics with Concrete Domains
In C. Pilière, eds., Proceedings of the ESSLLI-2000 Student Session, August 2000
Details Download
Ulrike Sattler
Description Logics for the Representation of Aggregated Objects
In W.Horn, eds., Proceedings of the 14th European Conference on Artificial Intelligence, 2000. IOS Press, Amsterdam
Details Download
Edoardo Ardizzone, Mohand-Said Hacid
A Semantic Modeling Approach for Video Retrieval by Content
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, volume 2, 158-162, June 1999. IEEE Computer Society
Details Download
A. Artale, Carsten Lutz
A Correspondance between Temporal Description Logics
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics (DL'99), CEUR-WS, 145-149,  1999. Linköping University
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories Sharing Constructors
In P. Narendran and M. Rusinowitch, eds., Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), volume 1631 of Lecture Notes in Computer Science, 175-189, 1999. Springer
Details
Franz Baader
Logic-Based Knowledge Representation
In M.J. Wooldridge and M. Veloso, eds., Artificial Intelligence Today, Recent Trends and Developments, Lecture Notes in Computer Science, 13-41, 1999. Springer
Details Download
Franz Baader, R. Molitor, Stephan Tobies
Tractable and Decidable Fragments of Conceptual Graphs
In W. Cyre and W. Tepfenhart, eds., Proceedings of the Seventh International Conference on Conceptual Structures (ICCS'99), Lecture Notes in Computer Science, 480-493, 1999. Springer
Details Download
Franz Baader, R. Molitor
Rewriting Concepts Using Terminologies
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
In T. Dean, eds., Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), 96-101, 1999. Morgan Kaufmann
Details
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
A Database Approach for Modeling and Querying Video Data
In Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou, eds., Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia, 6-13, March 1999. IEEE Computer Society
Details Download
E. Franconi, Ulrike Sattler
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation
Workshop on Design and Management of Data Warehouses (DMDW'99), June 1999
Details Download
Mohand-Saïd Hacid, Christophe Rigotti
Representing and Reasoning on Conceptual Queries Over Image Databases
In Zbigniew W. Ras and Andrzej Skowron, eds., Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems, Warsaw, Poland, LNCS 1609, 340-348, June 1999. Springer
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies
Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), 1999
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Expressive Description Logics
In Harald Ganzinger and David McAllester and Andrei Voronkov, eds., Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Lecture Notes in Artificial Intelligence, 161-180, September 1999. Springer
Details Download
Stephan Kepser, Jörn Richts
UniMoK: A System for Combining Equational Unification Algorithms
Rewriting Techniques and Applications, Proceedings RTA-99, volume 1631 of Lecture Notes in Computer Science, 248-251, 1999. Springer
Details
Stephan Kepser, Jörn Richts
Optimisation Techniques for Combining Constraint Solvers
In Dov Gabbay and Maarten de Rijke, eds., Frontiers of Combining Systems 2, Papers presented at FroCoS'98, 193-210, 1999. Research Studies Press/Wiley
Details Download
Ralf Küsters
What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases
In S. Abiteboul and D. Florescu and A. Levy and G. Moerkotte, eds., Foundations for Information Integration, Dagstuhl-Seminar-Report 244, 1999
Details
Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics, CEUR-WS, 81-85,  1999. Linköping University
Details Download
Carsten Lutz
Complexity of Terminological Reasoning Revisited
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, Lecture Notes in Artificial Intelligence, 181-200,  1999. Springer
Details Download
Carsten Lutz
Reasoning with Concrete Domains
In Thomas Dean, eds., Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI-99, 90-95,  1999. Morgan-Kaufmann Publishers
Details Download
S .Tobies
A NExpTime-complete Description Logic Strictly Contained in C^2
In J. Flum and M. Rodríguez-Artalejo, eds., Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL-99), LNCS 1683, 292-306, 1999. Springer
Details Download
Stephan Tobies
A PSpace Algorithm for Graded Modal Logic
In H. Ganzinger, eds., Automated Deduction – CADE-16, 16th International Conference on Automated Deduction, LNAI 1632, 52-66,  1999. Springer
Details Download
Stephan Tobies
On the Complexity of Counting in Description Logics
In P. Lambrix and A. Borgida and M. Lenzerini and R. Möller and P. Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics 1999 (DL'99), CEUR-WS, 1999. Linköping University
Details Download
Can Adam Albayrak, Thomas Noll
The WHILE Hierarchy of Program Schemes is Infinite
In Maurice Nivat, eds., Proceedings of Foundations of Software Science and Computation Structures, 35-47, 1998. LNCS 1378, Springer
Details
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Proceedings of the 1998 International Workshop on Description Logics DL'98, 1998
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 331-335, 1998. John Wiley & Sons Ltd
Details
Franz Baader, A. Borgida, D.L. McGuinness
Matching in Description Logics: Preliminary Results
In M.-L. Mugnier and M. Chein, eds., Proceedings of the Sixth International Conference on Conceptual Structures (ICCS-98), volume 1453 of Lecture Notes in Computer Science, 15-34, 1998. Springer
Details
Franz Baader, Ulrike Sattler
Description Logics with Concrete Domains and Aggregation
In H. Prade, eds., Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 336-340, 1998. John Wiley & Sons Ltd
Details Download
Franz Baader, 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, eds., Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, 129-140, 1998. Springer
Details
Franz Baader, R. Küsters
Least common subsumer computation w.r.t. cyclic ALN-terminologies
Proceedings of the 1998 International Workshop on Description Logics (DL'98), 1998
Details Download
C. Decleir, M. S. Hacid, J. Kouloumdjian
A Generic Model for Video Content Based Retrieval
Proceedings of the 1998 ACM Symposium on Applied Computing, Multimedia Track, Atlanta, GA, USA (to appear), 1998
Details Download
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
Modeling and Querying Video Databases
Proceedings 24th EUROMICRO'98 Conference Workshop on Multimedia and Telecommunications, Vasteras, Sweden, 492-498, August 1998. IEEE Computer Society
Details Download
Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
Modeling and Querying Video Data: A Hybrid Approach
Proceedings of the IEEE Workshop on Content-Based Access of Image & Video Libraries (CBAIVL'98), Santa Barbara, CA, USA, 86-90, June 1998. IEEE Computer Society
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Proceedings of the International Workshop on Description Logics, 1998. IRST
Details Download
R. Küsters
Characterizing the Semantics of Terminological Cycles in ALN using Finite Automata
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 499-510, 1998. Morgan Kaufmann
Details
C. Tresp, U. Tüben
Medical Terminology Processing for a Tutoring System
International Conference on Computational Intelligence and Multimedia Applications (ICCIMA98), February 1998
Details
C.B. Tresp, R. Molitor
A Description Logic for Vague Knowledge
Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98), 361-365, 1998. J. Wiley and Sons
Details
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
In G. Winskel, eds., Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 2-13, 1997. IEEE Computer Society Press
Details
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Proceedings of the International Workshop on Description Logics, 1997
Details Download
Franz Baader, Cesare Tinelli
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
In W. McCune, eds., Proceedings of the 14th International Conference on Automated Deduction (CADE-97), volume 1249 of Lecture Notes in Artificial Intelligence, 19-33, 1997. Springer
Details
Franz Baader, P. Narendran
Unification of Concept Terms
Proceedings of the 11th International Workshop on Unification, UNIF-97, LIFO Technical Report 97-8, 1997. LIFO, Universitè de Orlèans
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Proceedings of the International Workshop on Description Logics, DL'97, 34-38, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay
Details Download
M. Baumeister, A. Becks, S. Sklorz, C. Tresp, U. Tüben
Indexing Medical Abstract Databases
Proceedings of the European Workshop on Multimedia Technology in Medical Training, September 1997
Details
Mohand-Saïd Hacid, Ulrike Sattler
An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions
Proceedings of the IEEE Knowledge and Data Engineering Workshop, Newport Beach, CA, USA, 65-72, November 1997. IEEE Computer Society
Details
M. S. Hacid, P. Marcel, C. Rigotti
A rule based data manipulation language for OLAP systems
Proc. of the 5th Intl. Conf. on Deductive and Object-Oriented Databases (DOOD'97), LNCS,  1997. SPRINGER
Details Download
M. S. Hacid, P. Marcel, C. Rigotti
A Rule-Based Language for Ordered Multidimensional Databases
Proc. of the 5th Intl. Workshop on Deductive Database and Logic Programming (DDLP'97), volume 317 of GMD-Studien, 69-81,  1997
Details Download
J. Hiltner, M. Jäger, E. Meyer zu Bexten, C. Tresp, M. Fathi
Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens
In Bernhard Arnolds and Heinrich Müller and Dietmar Saupe and Thomas Tolxdorff, eds., Digitale Bildverarbeitung in der Medizin, Tagungsband zum 5. Freiburger Workshop (Deutschland), March 1997
Details
R. Küsters
Characterizing the semantics of terminological cycles with the help of finite automata
Proceedings of the International Workshop on Description Logics, DL'97, 10-14, 1997. LRI, Universitè PARIS-SUD, Cente d'Orsay
Details Download
C. Tresp, S. Sklorz
Multimedia Technology in Medical Training
In M. Jarke and K. Parsedach and K. Pohl, eds., Informatik'97: Informatik als Innovationsmotor, 27. Jahrestagung der GI, 1997. Springer
Details
C. Tresp
Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine
42. Internationales Wissenschaftliches Kolloquium, September 1997
Details
C. Tresp
Queries in Fuzzy Deductive Databases Using Medical Information
5th European Congress on Intelligent Techniques & Soft Computing (EUFIT 97), September 1997
Details
Franz Baader, Ulrike Sattler
Knowledge Representation in Process Engineering
Proceedings of the International Workshop on Description Logics, 1996. AAAI Press/The MIT Press
Details Download
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Proceedings of the 10th International Workshop on Unification, UNIF-96, CIS-Report 96-91, 97-106, 1996. CIS, Universität München
Details Download
Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), 1996. Morgan Kaufmann, Los Altos
Details
Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
In W. Wahlster, eds., Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), 283-287, 1996. John Wiley & Sons Ltd
Details Download
J. Hiltner, C. Tresp
Verbunddokumente: Objektmodelle und Implementierungen
15. Workshop Interdisziplinäre Methoden in der Informatik, 1996
Details
E. Meyer zu Bexten, C. Tresp, M. Jäger, M. Moser, J. Hiltner
Consistency Checking in Applications based on Fuzzy Rules
Second International Conference on Applications of Fuzzy Systems and Soft Computing, June 1996
Details
Ulrike Sattler
Knowledge Representation in Process Engineering
In F. Baader and H. J. Bürckert and A. Günter and W. Nutt, eds., Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), {DFKI} Document {D}-96-04, 1996. Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Details Download
Ulrike Sattler
A Concept Language Extended with Different Kinds of Transitive Roles
In G. Görz and S. Hölldobler, eds., 20. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence, 1996. Springer
Details Download
K. Tochtermann, C. Tresp, J. Hiltner, A. Freund
HyperMed: A Hypermedia System for Anatomical Education
ED-Media, World Conference on Educational Multimedia and Hypermedia, August 1996
Details
C. Tresp, M. Jäger, M. Moser, J. Hiltner, M. Fathi
A New Method for Image Segmentation Based on Fuzzy Knowledge
Int. IEEE Symposia on Intelligence and Systems, October 1996
Details
C. Tresp, A. Becks, R. Klinkenberg, J. Hiltner
Knowledge Representation in a World with Vague Concepts
Intelligent Systems: A semiotic perspective, September 1996
Details
Franz Baader, A. Laux
Terminological Logics with Modal Operators
In C. Mellish, eds., Proceedings of the 14th International Joint Conference on Artificial Intelligence, 808-814, 1995. Morgan Kaufmann
Details
Franz Baader
Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, 168-178, 1995
Details Download
Franz Baader, K.U. Schulz
Combination of Constraint Solving Techniques: An Algebraic Point of View
Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of Lecture Notes in Artificial Intelligence, 352-366, 1995. Springer
Details
Franz Baader, K.U. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Proceedings of the International Conference on Principles and Practice of Constraint Programming, CP95, volume 976 of Lecture Notes in Artificial Intelligence, 380-397, 1995. Springer
Details
M. Fathi, C. Tresp, K. Holte, J. Hiltner
Development of Objective Functions for Soft Computing in Medical Applications
ACM Computing Week, February 1995
Details
Ulrike Sattler
A Concept Language for an engeneering application with part-whole relations
In A. Borgida and M. Lenzerini and D. Nardi and B. Nebel, eds., Proceedings of the International Workshop on Description Logics, 119-123, 1995
Details Download
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Proceedings of the German AI Conference, KI'94, volume 861 of Lecture Notes in Computer Science, 51-62, 1994. Springer
Details
M. Fathi, C. Tresp, J. Hiltner, K. Becker
Possibilities for Evolution Strategies to optimize Fuzzy Sets in Medical Applications
First Industry Academic Symposium on research for Future Supersonic and Hypersonic Vehicles, December 1994
Details
M. Fathi, C. Tresp, J. Hiltner, K. Becker
Fuzzy Set Optimization in Use of Medical MR-Image Analysis based on Evolution Strategies
IEEE World Wisemen/Women Workshop (WWW), Nagoya University, August 1994
Details
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning
In Bernhard Nebel and Leonie Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence, Proceedings of the 18th German Annual Conference on Artificial Intelligence, 379-390, 1994. Springer
Details
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg Siekmann
KEIM: A Toolkit for Automated Deduction
In Alan Bundy, eds., Automated Deduction — CADE-12, Proceedings of the 12th International Conference on Automated Deduction, 807-810, 1994. Springer
Details
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU 93, volume 747 of Lecture Notes in Computer Science, 9-16, 1993. Springer
Details
Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 669-674, 1993
Details
Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Proceedings of the 16th German AI-Conference, GWAI-92, volume 671 of Lecture Notes in Computer Science, 132-143, 1993. Springer
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, 301-315, 1993. Springer
Details
H.-J. Ohlbach, Franz Baader
A Multi-Dimensional Terminological Knowledge Representation Language
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 690-695, 1993
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 306-317, 1992
Details
Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 270-281, 1992
Details
Franz Baader, K.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, 23-42, 1992. Springer
Details
Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, 50-65, 1992. Springer
Details
Franz Baader
Unification in Varieties of Completely Regular Semigroups
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 210-230, 1991. Springer
Details
Franz Baader
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer
Details
Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 86-97, 1991. Springer
Details
Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 124-135, 1991. Springer
Details
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 446-451, 1991
Details
Franz Baader, B. Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms
Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, 67-85, 1991. Springer
Details Download
Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 452-457, 1991
Details
B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, 335-346, 1991
Details
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, 621-626, 1990
Details
Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Proceedings of the Symposium on Computational Logic, 177-201, 1990
Details
Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, 53-58, 1990
Details
Franz Baader
Rewrite Systems for Varieties of Semigroups
Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, 396-410, 1990. Springer
Details
Franz Baader
Characterizations of Unification Type Zero
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, 2-14, 1989. Springer
Details
Franz Baader
Unification Properties of Commutative Theories: A Categorical Treatment
Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, 273-299, 1989. Springer
Details

Bücher

Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
The MIT Press, 2008
Details
Franz Baader
18th International Conference on Rewriting Techniques and Applications (RTA 2007)
Volume 4533 of Lecture Notes in Computer Science. Springer, 2007
Details
Franz Baader, A. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004
Volume 3452 of Lecture Notes in Artificial Intelligence. Springer, 2005
Details
Thomas Hinze, Monika Sturm
Rechnen mit DNA - Eine Einführung in Theorie und Praxis
R. Oldenbourg Wissenschaftsverlag München, 2004
Details Download
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook: Theory, Implementation, and Applications
Cambridge University Press, 2003
Details
Franz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19
Volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003
Details
Christel Baier, Alexander Asteroth
Theoretische Informatik
Pearson Studium, 2002
Details
Franz Baader, G. Brewka, Th. Eiter
KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001)
Volume 2174 of Lecture Notes in Artificial Intelligence. Springer, 2001
Details
Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1999
Details
Franz Baader, Tobias Nipkow
Term Rewriting and All That
Cambridge University Press, 1998
Details
H.-W. Denker, J. Hiltner, H.-P. Hohn, D. C. Novak, B. Reusch, C. Tresp, J. Weidemann
Schnittbildanatomie – Interaktives klinisch-topographisches Lernprogramm
W. de Gruyter, 1998
Details
Michael Schroeder
Autonomous, Model-Based Diagnosis Agents
Springer Verlag, 1998
Details
M. Baumeister, H.-P. Hohn, S. Sklorz, C. Tresp (Hrsg.)
Multimedia Technology in Medical Training
Volume 20 of ABI. Augustinus, 1997
Details
Franz Baader, Klaus U. Schulz
Frontiers of Combining Systems
Proceedings of First International Workshop, Applied Logic Series 3. Kluwer Academic Publishers, 1996
Details
Franz Baader, Can Adam Albayrak
Termersetzungssysteme, Skript zur Vorlesung
Volume 12 of {A}achener {B}eitr{\"a}ge zur {I}nformatik. Verlag der Augustinus Buchhandlung, 1995
Details
Franz Baader, J. Siekmann, W. Snyder
Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992
{BU} Technical Report 93-004. , 1993
Details
Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
Details

Buchkapitel

Anni-Yasmin Turhan
Reasoning and Explanation in EL and in Expressive Description Logics
In Uwe As̈mann and Andreas Bartho and Christian Wende, eds., Reasoning Web, LNCS, 1-27. Springer, 2010
Details Download
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, 1-39. Springer, 2009
Details Download
Kay Kadner, Gerald Huebsch, Martin Knechtel, Thomas Springer, Christoph Pohl
Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability
In , chapter Platform Support for Multimodality on Mobile Devices, 75-105. IGI Global, 2009
Details
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In Frank van Harmelen and Vladimir Lifschitz and Bruce Porter, eds., Handbook of Knowledge Representation, 135-179. Elsevier, 2007
Details
Franz Baader, R. Küsters
Nonstandard Inferences in Description Logics: The Story So Far
In D.M. Gabbay and S.S. Goncharov and M. Zakharyaschev, eds., Mathematical Problems from Applied Logic I, volume 4 of International Mathematical Series, 1-75. Springer, 2006
Details Download
Franz Baader, Carsten Lutz
Description Logic
In Patrick Blackburn and Johan van Benthem and Frank Wolter, eds., The Handbook of Modal Logic, 757-820. Elsevier, 2006
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., 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, 228-248. Springer, 2005
Details Download
Anni-Yasmin Turhan
Pushing the SONIC border — SONIC 1.0
In Reinhold Letz, eds., FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005
Details Download
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In S. Staab and R. Studer, eds., Handbook on Ontologies, International Handbooks in Information Systems, 3-28. Springer, 2004
Details
Franz Baader, R Küsters, Frank Wolter
Extensions to Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 219-261. Cambridge University Press, 2003
Details
Franz Baader, W. Nutt
Basic Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 43-95. Cambridge University Press, 2003
Details
Franz Baader
Description Logic Terminology
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 485-495. Cambridge University Press, 2003
Details
Ulrike Sattler, D. Calvanese, R. Molitor
Relationship with other Formalisms
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 137-177. Cambridge University Press, 2003
Details
Franz Baader, W. Snyder
Unification Theory
In J.A. Robinson and A. Voronkov, eds., Handbook of Automated Reasoning, volume I, 447-533. Elsevier Science Publishers, 2001
Details Download
Franz Baader, K. Schulz
Combining Constraint Solving
In H. Comon and C. Marché and R. Treinen, eds., Constraints in Computational Logics, volume 2002 of Lecture Notes in Computer Science. Springer, 2001
Details Download
E. Franconi, Franz Baader, Ulrike Sattler, P. Vassiliadis
Multidimensional Data Models and Aggregation
In M. Jarke and M. Lenzerini and Y. Vassilious and P. Vassiliadis, eds., Fundamentals of Data Warehousing, 87-106. Springer, 2000
Details
R. Molitor, C.B. Tresp
Extending Description Logics to Vague Knowledge in Medicine
In P. Szczepaniak and P.J.G. Lisboa and S. Tsumoto, eds., Fuzzy Systems in Medicine, volume 41 of Studies in Fuzziness and Soft Computing, 617-635. Springer, 2000
Details
Franz Baader, K.U. Schulz
Unification Theory
In W. Bibel and P.H. Schmidt, eds., Automated Deduction – A Basis for Applications, Vol. I: Foundations – Calculi and Methods, volume 8 of Applied Logic Series, 225-263. Kluwer Academic Publishers, 1998
Details
Franz Baader, B. Hollunder
Computing extensions of terminological default theories
In G. Lakemeyer, eds., Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence. Springer, 1994
Details
Franz Baader, J.H. Siekmann
Unification Theory
In D.M. Gabbay and C.J. Hogger and J.A. Robinson, eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 41-125. Oxford University Press, 1994
Details

Herausgegebene Tagungsbände

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
Thomas Lukasiewicz, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Logics for Reasoning about Preferences, Uncertainty, and Vagueness
Volume 1205 of CEUR Workshop Proceedings, 2014. CEUR
Details
Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan
Proceedings of the First International Workshop on Uncertainty in Description Logics
Volume 613 of CEUR, July 2010
Details

Dissertationen

Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
Details Download
Daniel Borchmann
Learning Terminological Knowledge with High Confidence from Erroneous Data
Phd thesis, Technische Universität Dresden, 2014/09/09
Details Download

Technische Berichte

Filippo De Bortoli, Franz Baader
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 23-02, August 2023
Details
Filippo De Bortoli, Franz Baader
On the Complexity and Expressiveness of Description Logics with Counting
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 19-09, December 2019
Details
Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-08, 2015. LTCS-Report
Details Download
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Subsumption in Finitely Valued Fuzzy EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-06, 2015. LTCS-Report
Details Download
Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-16, 2015. LTCS-Report
Details Download
Stefan Borgwardt, Veronika Thost
LTL over EL Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-07, 2015. LTCS-Report
Details Download
Stephan Böhme, Marcel Lippmann
Description Logics of Context with Rigid Roles Revisited
Technical Report, Chair of Automata Theory, TU Dresden, volume 15-04, May 2015. LTCS-Report
Details Download
Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download
Franz Baader, Barbara Morawska
Matching with respect to general concept inclusions in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-03, 2014. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic Revisited
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-01, 2014. LTCS-Report
Details Download
Stefan Borgwardt
The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-02, 2014. LTCS-Report
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Reasoning with Temporal Properties over Axioms of DL-Lite
Technical Report, Chair of Automata Theory, TU Dresden, volume 14-06, 2014. LTCS-Report
Details Download
Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-11, 2014. LTCS-Report
Details Download
Yue Ma, Rafael Peñaloza
Towards Parallel Repair Using Decompositions
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-05, 2014. LTCS-Report
Details Download
Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Conjunctive Query Answering in Rough EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-04, 2014. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
On the Complexity of Temporal Query Answering
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-01, 2013. LTCS-Report
Details Download
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-08, 2013. LTCS-Report
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-07, 2013. LTCS-Report
Details Download
Daniel Borchmann
A General Form of Attribute Exploration
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-02, 2013. LTCS-Report
Details Download
Daniel Borchmann
Exploration by Confidence
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-04, 2013. LTCS-Report
Details Download
Daniel Borchmann
Model Exploration by Confidence with Completely Specified Counterexamples
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-11, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-05, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-03, 2013. LTCS-Report
Details Download
Benjamin Zarries̈, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-06, 2013. LTCS-Report
Details Download
Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-10, 2013. LTCS-Report
Details Download
Franz Baader, Alexander Okhotin
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-01, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-05, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-Unifiers is Hard
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-03, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-02, 2012. LTCS-Report
Details Download
Daniel Borchmann
On Confident GCIs of Finite Interpretations
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-06, 2012. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-05, 2011. LTCS-Report
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL Without the Top Concept
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 11-01, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-06, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-02, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-04, 2011. LTCS-Report
Details Download
Rafael Peñaloza
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-03, 2011. LTCS-Report
Details Download
Franz Baader, Barbara Morawska
SAT Encoding of Unification in EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-04, 2010. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Adding Causal Relationships to DL-based Action Formalisms
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-01, 2010. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-10-05, 2010. LTCS-Report
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
Computing Boundaries for Reasoning in Sub-Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-02, 2009. LTCS-Report
Details Download
Franz Baader, Hongkai Liu, Anees ul Mehdi
Integrate Action Formalisms into Linear Temporal Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-09-03, 2009. LTCS-Report
Details Download
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
Details Download
Rafael Peñaloza, Barış Sertkaya
On the Complexity of Axiom Pinpointing in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-04, 2009. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report
Details Download
Franz Baader, Rafael Peñaloza
Pinpointing in Terminating Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-03, 2008. LTCS-Report
Details Download
Franz Baader, Rafael Peñaloza
Blocking and Pinpointing in Forest Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-02, 2008. LTCS-Report
Details Download
Franz Baader, Felix Distel
Exploring finite models in the Description Logic EL_gfp
Technical Report, Institute for Theoretical Computer Science, TU Dresden, volume 08-05, 2008. LTCS-Report
Details Download
Barış Sertkaya
Some Computational Problems Related to Pseudo-intents
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-08-06, 2008. LTCS-Report
Details Download
Franz Baader, Felix Distel
A finite basis for the set of EL-implications holding in a finite model
Technical Report, Inst. für Theoretische Informatik, TU Dresden, volume 07-02, 2007
Details Download
Boontawee Suntisrivaraporn
Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-03, 2007. LTCS-Report
Details Download
Franz Baader, Rafael Penaloza
Axiom Pinpointing in General Tableaux
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-07-01, 2006. LTCS-Report
Details Download
Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-01, 2006. LTCS-Report
Details Download
Franz Baader, J. Hladik, R. Penaloza
PSPACE Automata with Blocking for Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-04, 2006. LTCS-Report
Details Download
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya
Completing Description Logic Knowledge Bases using Formal Concept Analysis
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-02, 2006. LTCS-Report
Details Download
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Description Logic Actions with general TBoxes: a Pragmatic Approach
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-03, 2006. LTCS-Report
Details Download
Rafael Penaloza
Pinpointing in Tableaus
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-06-05, 2006. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi
Connecting Many-Sorted Theories
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-04, 2005. LTCS-Report
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-08, 2005. LTCS-Report
Details Download
Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-01, 2005. LTCS-Report
Details Download
Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download
P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-06, 2005. LTCS-Report
Details Download
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-10, 2005. LTCS-Report
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-03, 2005. LTCS-Report
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-07, 2005. LTCS-Report
Details Download
Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-09, 2005. LTCS-Report
Details Download
Carsten Lutz
PDL with Intersection and Converse is Decidable
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-05, 2005. LTCS-Report
Details Download
Franz Baader
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-02, 2004. LTCS-Report
Details Download
S. Brandt
Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-04, 2004. LTCS-Report
Details Download
S. Brandt
Reasoning in ELH w.r.t. General Concept Inclusion Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-03, 2004. LTCS-Report
Details Download
Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-05, 2004. LTCS-Report
Details Download
Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-06, 2004. LTCS-Report
Details Download
B. Morawska
A nice Cycle Rule for Goal-Directed E-Unification
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-01, 2004. LTCS-Report
Details Download
Franz Baader
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-01, 2003. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-05, 2003. LTCS-Report
Details Download
S. Brandt, Anni-Yasmin Turhan, R. Küsters
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 03-02, 2003. LTCS-Report
Details Download
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-04, 2003. LTCS-Report
Details Download
B. Morawska
Completness of E-unification with eager Variable Elimination
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-03, 2003. LTCS-Report
Details Download
Franz Baader
Least Common Subsumers, Most Specific Concepts, and Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-07, 2002. LTCS-Report
Details Download
Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-02, 2002. LTCS-Report
Details Download
S. Brandt, Anni-Yasmin Turhan
An Approach for Optimizing ALE-Approximation of ALC-Concepts
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 02-03, 2002. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-06, 2002. LTCS-Report
Details Download
Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-02-01, 2002. LTCS-Report
Details Download
Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-04, 2002. LTCS-Report
Details Download
Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-05, 2002. LTCS-Report
Details Download
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-03, 2001. LTCS-Report
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Transitive Closure of Roles
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-05, 2001. LTCS-Report
Details Download
Franz Baader, S. Brandt, R. Küsters
Matching under Side Conditions in Description Logics
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-02, 2001. LTCS-Report
Details Download
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 01-06, 2001. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-08, 2001. LTCS-Report
Details Download
Carsten Lutz, Ulrike Sattler, Frank Wolter
Modal Logic and the two-variable fragment
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-04, 2001. LTCS-Report
Details Download
Carsten Lutz
Adding Numbers to the SHIQ Description Logic—First Results
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-07, 2001. LTCS-Report
Details Download
Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-01-01, 2001. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 00-04, 2000. LTCS-Report
Details Download
C. Hirsch, Stephan Tobies
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-03, 2000. LTCS-Report
Details Download
R. Küsters, R. Molitor
Computing Least Common Subsumers in ALEN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 00-07, 2000. LTCS-Report
Details Download
R. Küsters, R. Molitor
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Technical Report, LuFG Theoretical Computer Science, volume 00-05, 2000. LTCS-Report
Details Download
Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics (Extended Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-02, 2000. LTCS-Report
Details Download
Carsten Lutz
Interval-based Temporal Reasoning with General TBoxes
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-06, 2000. LTCS-Report
Details Download
Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-01, 2000. LTCS-Report
Details Download
E.P. Stoschek, Monika Sturm, T. Hinze et.al.
Molekularbiologisches Verfahren zur Lösung von NP-Problemen
Technical Report, 2000
Details
Franz Baader, R. Molitor
Rewriting Concepts using Terminologies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-06, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 99-12, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Matching Concept Descriptions with Existential Restrictions Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-13, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-07, 1999. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
Technical Report, Department of Computer Science, University of Iowa, volume 99-13,  1999
Details Download
A. Borgida, R. Küsters
What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases
Technical Report, Rutgers University, USA, volume DCS-TR-391, 1999
Details Download
C. Decleir, M.-S. Hacid, J. Kouloumdjian
A Database Approach for Modeling and Querying Video Data
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-03, 1999. LTCS-Report
Details Download
M.-S. Hacid, C. Rigotti
Representing and Reasoning on Conceptual Queries Over Image Databases
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-99-02, 1999. LTCS-Report
Details Download
Ian Horrocks, Stephan Tobies
Optimisation of Terminological Reasoning
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-14, 1999. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-08, 1999. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
Query Containment Using a DLR ABox
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-15, 1999. LTCS-Report
Details Download
R. Küsters, A. Borgida
What's in an Attribute? Consequences for the Least Common Subsumer
Technical Report, Rutgers University, USA, volume DCS-TR-404, 1999
Details Download
Carsten Lutz
The Complexity of Reasoning with Concrete Domains (Revised Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-01, 1999. LTCS-Report
Details Download
Carsten Lutz
On the Complexity of Terminological Reasoning
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-04, 1999. LTCS-Report
Details
Stephan Tobies
PSpace Reasoning for DLs with Qualifying Number Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-11, 1999. LTCS-Report
Details Download
Stephan Tobies
A PSpace-algorithm for ALCQI-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-09, 1999. LTCS-Report
Details Download
Stephan Tobies
A NEXPTIME-complete Description Logic Strictly Contained in C^2
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-99-05, 1999. LTCS-Report
Details Download
Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-06, 1998. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains, Part II (extended)
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-02, 1998. LTCS-Report
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics: Revised Version
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-07, 1998. LTCS-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
On the Relation between Descripion Logics and Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-11, 1998. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, volume UIUCDCS-R-98-2073, 1998. {UIUCDCS}-Report
Details Download
Franz Baader, R. Molitor, Stephan Tobies
The Guarded Fragment of Conceptual Graphs
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-10, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Computing Least Common Subsumers in Description Logics with Existential Restrictions
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-09, 1998. LTCS-Report
Details Download
Franz Baader, R. Küsters, R. Molitor
Structural Subsumption Considered from an Automata Theoretic Point of View
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-04, 1998. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler, Stephan Tobies
A PSpace-algorithm for deciding ALCNI_R^+-satisfiability
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-98-08, 1998. LTCS-Report
Details Download
Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Converse Roles and Role Hierarchies
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-05, 1998. LTCS-Report
Details Download
Martin Leucker, Stephan Tobies
Truth—A Platform for Verification of Distributed Systems
Technical Report, RWTH Aachen, volume 98-05, May 1998. Aachener Informatik Bericht
Details Download
R. Molitor
Structural Subsumption for ALN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-03, 1998. LTCS-Report
Details Download
C.B. Tresp, R. Molitor
A Description Logic for Vague Knowledge
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-98-01, 1998. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-01, 1997. LTCS-Report
Details Download
Franz Baader, P. Narendran
Unification of Concept Terms in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-02, 1997. LTCS-Report
Details Download
Franz Baader, Klaus U. Schulz
Unification Theory – An Introduction
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-97-103, January 1997. Research Report
Details Download
Franz Baader
On the Complexity of Boolean Unification
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-03, 1997. LTCS-Report
Details Download
M. S. Hacid, P. Marcel, C. Rigotti
A rule based data manipulation language for OLAP systems
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-97-05, 1997. LTCS-Report
Details Download
R. Küsters
Characterizing the semantics of terminological cycles in ALN using finite automata
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-97-04, 1997. LTCS-Report
Details Download
Franz Baader, Cesare Tinelli
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-01, 1996. LTCS-Report
Details Download
Franz Baader
Combination of Compatible Reduction Orderings that are Total on Ground Terms
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-96-05, 1996. LTCS-Report
Details Download
Franz Baader, Ulrike Sattler
Description Logics with Symbolic Number Restrictions
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-03, 1996
Details Download
Franz Baader, Ulrike Sattler
Number Restrictions on Complex Roles in Description Logics
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-96-02, 1996
Details Download
S. Kepser, J. Richts
Optimisation Techniques for Combining Constraint Solvers
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-96-04, 1996. LTCS-Report
Details Download
Franz Baader, Hans Jürgen Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, volume MPI-I-95-2-005, 1995. Technical Report
Details Download
Franz Baader, A. Laux
Terminological Logics with Modal Operators
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-94-33, 1994. {DFKI} Research Report
Details
Franz Baader, K. Schulz
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
Technical Report, Universität München, volume 94-82, 1994. {CIS}-Report
Details Download
Franz Baader, Klaus U. Schulz
Combination of Constraint Solving Techniques: An Algebraic Point of View
Technical Report, Center for Language and Information Processing (CIS), volume CIS-Rep-94-75, July 1994. Research Report
Details Download
Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-03, 1993. {DFKI} Research Report
Details
Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, Saarbrücken, volume MPI-I-93-212, 1993. {MPII} Report
Details
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-48, 1993. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-20, 1993. {DFKI} Research Report
Details Download
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-13, 1993. {DFKI} Research Report
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-58, 1992. {DFKI} Research Report
Details
Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-36, 1992. {DFKI} Research Report
Details
Franz Baader
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
Details
Franz Baader, K. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Technical Report, Universität München, volume 92-58, 1992. {CIS}-Report
Details
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-01, 1991. {DFKI} Research Report
Details
Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-33, 1991. {DFKI} Research Report
Details Download
Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-10, 1991. {DFKI} Research Report
Details Download
B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-03, 1991. {DFKI} Research Report
Details
Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-10, 1990. {DFKI} Research Report
Details Download
Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report
Details
Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-05, 1990. {DFKI} Research Report
Details
Franz Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, H.-J. Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo
Details Download
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-01, 1990. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-03, 1990. {DFKI} Technical Memo
Details
Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-16, 1990. {DFKI} Research Report
Details
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-13, 1990. {DFKI} Research Report
Details Download
Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
Details
Franz Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht
Details

Vorträge und Sonstiges

Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints
Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
Details
Rafael Peñaloza
Reasoning with Annotated Description Logic Ontologies
Habilitation Thesis, September 2015
Details Download
Daniel Borchmann
Beam Me Up! - LaTeX-Beamer For Those Who Already Know
Vortrag, November 2013
Details
Daniel Borchmann
Context Orbifolds
Diplomarbeit, September 2009
Details Download