> Verlagsreihe
-
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs (Extended Version) Franz Baader, Francesco Kriegel
Dresden: Technische Universität Dresden, 2022
-
Optimal Fixed-Premise Repairs of EL TBoxes (Extended Version) Francesco Kriegel
Dresden: Technische Universität Dresden, 2022
-
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version) Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
Dresden: Technische Universität Dresden, 2022
-
Restricted Unification in the DL FL₀ (Extended Version) Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
Dresden: Technische Universität Dresden, 2021
-
Two Ways of Explaining Negative Entailments in Description Logics Using Abduction (Extended Version) Patrick Koopmann
Dresden: Technische Universität Dresden, 2021
-
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes (Extended Version) Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
Dresden: Technische Universität Dresden, 2021
-
Using model theory to find w-admissible concrete domains Franz Baader, Jakub Rydval
Dresden: Technische Universität Dresden, 2020
-
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics Oliver Fernández Gil, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2020
-
Deductive Module Extraction for Expressive Description Logics (Extended Version) Patrick Koopmann, Jieying Chen
Dresden: Technische Universität Dresden, 2020
-
Computing Compliant Anonymisations of Quantified ABoxes w.r.t. EL Policies (Extended Version) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2020
-
Computing Safe Anonymisations of Quantified ABoxes w.r.t. EL Policies (Extended Version) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2020
-
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics (Extended Version) Franz Baader, Jakub Rydval
Dresden: Technische Universität Dresden, 2020
-
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols Franz Baader, Deepak Kapur
Dresden: Technische Universität Dresden, 2020
-
Role-Value Maps and General Concept Inclusions in the Description Logic FL₀ Franz Baader, Clément Théron
Dresden: Technische Universität Dresden, 2019
-
On the Complexity and Expressiveness of Description Logics with Counting Franz Baader, Filippo De Bortoli
Dresden: Technische Universität Dresden, 2019
-
Privacy-Preserving Ontology Publishing for EL Instance Stores (Extended Version) Franz Baader, Francesco Kriegel, Adrian Nuradiansyah
Dresden: Technische Universität Dresden, 2019
-
Joining implications in formal contexts and inductive learning in a Horn description logic (Extended Version) Francesco Kriegel
Dresden: Technische Universität Dresden, 2019
-
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries (Extended Version) Patrick Koopmann
Dresden: Technische Universität Dresden, 2019
-
Projection in a Description Logic of Context with Actions (Extended Version) Satyadharma Tirtarasa, Benjamin Zarrieß
Dresden: Technische Universität Dresden, 2019
-
Ontology-Mediated Probabilistic Model Checking 8Extended Version) Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2019
-
Practical Query Rewriting for DL-Lite with Numerical Predicates (Extended Version) Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2019
-
Finite Herbrand Models for Restricted First-Order Clauses Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2019
-
Repairing Description Logic Ontologies by Weakening Axioms Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2018
-
Terminological knowledge aquisition in probalistic description logic Francesco Kriegel
Dresden: Technische Universität Dresden, 2018
-
Standard and Non-Standard Inferences in the Description Logic FL₀ Using Tree Automata Franz Baader, Oliver Fernández Gil, Maximilian Pensel
Dresden: Technische Universität Dresden, 2018
-
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version) Patrick Koopmann, Benjamin Zarrieß
Dresden: Technische Universität Dresden, 2018
-
Contextualized Programs for Ontology-Mediated Probabilistic System Analysis Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2018
-
The distributive, graded lattice of EL concept descriptions and its neighborhood relation (Extended Version) Francesco Kriegel
Dresden: Technische Universität Dresden, 2018
-
Most specific consequences in the description logic EL Francesco Kriegel
Dresden: Technische Universität Dresden, 2018
-
Learning description logic axioms from discrete probability distributions over description graphs (Extended Version) Francesco Kriegel
Dresden: Technische Universität Dresden, 2018
-
Ontology-Based Query Answering for Probabilistic Temporal Data (Extended Version) Patrick Koopmann
Dresden: Technische Universität Dresden, 2018
-
From Horn-SRIQ to Datalog A Data-Independent Transformation that Preserves Assertion Entailment David Carral, Larry González, Patrick Koopmann
Dresden: Technische Universität Dresden, 2018
-
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies (Extended Version) Patrick Koopmann
Dresden: Technische Universität Dresden, 2018
-
Actions with Conjunctive Queries Projection, Conflict Detection and Verification Patrick Koopmann
Dresden: Technische Universität Dresden, 2018
-
Using Ontologies to Query Probabilistic Numerical Data (Extended Version) Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2017
-
Temporal Query Answering in DL-Lite over Inconsistent Data Camille Bourgaux, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2017
-
Constructing SNOMED CT Concepts via Disunification Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2017
-
Making Quantification Relevant Again —the Case of Defeasible EL⊥ Maximilian Pensel, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2017
-
Concept Descriptions with Set Constraints and Cardinality Constraints Franz Baader
Dresden: Technische Universität Dresden, 2017
-
Metric Temporal Description Logics with Interval-Rigid Names Extended Version Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Dresden: Technische Universität Dresden, 2017
-
Query Rewriting for DL-Lite with n-ary Concrete Domains (Extended Version) Franz Baader, Stefan Borgwardt, Marcel Lippmann
Dresden: Technische Universität Dresden, 2017
-
Decidability of ALCP(D) for concrete domains with the EHD-property Claudia Carapelle, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2016
-
Extending the Description Logic τEL(deg) with Acyclic TBoxes Franz Baader, Oliver Fernández Gil
Dresden: Technische Universität Dresden, 2016
-
Approximately Solving Set Equations Franz Baader, Pavlos Marantidis, Alexander Okhotin
Dresden: Technische Universität Dresden, 2016
-
Approximate Unification in the Description Logic FL₀ Franz Baader, Pavlos Marantidis, Alexander Okhotin
Dresden: Technische Universität Dresden, 2016
-
Approximation in Description Logics How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL₀ Franz Baader, Oliver Fernández Gil, Pavlos Marantidis
Dresden: Technische Universität Dresden, 2016
-
Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures Franz Baader, Oliver Fernández Gil
Dresden: Technische Universität Dresden, 2016
-
Description Logics of Context with Rigid Roles Revisited Stephan Böhme, Marcel Lippmann
Dresden: Technische Universität Dresden, 2015
-
Subsumption in Finitely Valued Fuzzy EL Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2015
-
LTL over EL Axioms Stefan Borgwardt, Veronika Thost
Dresden: Technische Universität Dresden, 2015
-
Temporal Query Answering in EL Stefan Borgwardt, Veronika Thost
Dresden: Technische Universität Dresden, 2015
-
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles Franz Baader, Stefan Borgwardt, Marcel Lippmann
Dresden: Technische Universität Dresden, 2015
-
A Tableau Algorithm for SROIQ under Infinitely Valued Gödel Semantics Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2015
-
Decidable Verification of Golog Programs over Non-Local Effect Actions Extended Version Benjamin Zarrieß, Jens Claßen
Dresden: Technische Universität Dresden, 2015
-
Temporal Query Answering in DL-Lite with Negation Stefan Borgwardt, Veronika Thost
Dresden: Technische Universität Dresden, 2015
-
Dismatching and Local Disunification in EL Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2015
-
Learning General Concept Inclusions in Probabilistic Description Logics Francesco Kriegel
Dresden: Technische Universität Dresden, 2015
-
Adding Threshold Concepts to the Description Logic EL Franz Baader, Gerhard Brewka, Oliver Fernández Gil
Dresden: Technische Universität Dresden, 2015
-
Verification of Knowledge-Based Programs over Description Logic Actions Benjamin Zarrieß, Jens Claßen
Dresden: Technische Universität Dresden, 2015
-
Infinitely Valued Gödel Semantics for Expressive Description Logics Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2015
-
On Implementing Temporal Query Answering in DL-Lite Veronika Thost, Jan Holste, Özgür Özçep
Dresden: Technische Universität Dresden, 2015
-
Axiomatization of General Concept Inclusions from Finite Interpretations Daniel Borchmann, Felix Distel, Francesco Kriegel
Dresden: Technische Universität Dresden, 2015
-
The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals Stefan Borgwardt
Dresden: Technische Universität Dresden, 2014
-
Matching with respect to general concept inclusions in the Description Logic EL Franz Baader, Barbara Morawska
Dresden: Technische Universität Dresden, 2014
-
Towards Parallel Repair Using Decompositions Yue Ma, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2014
-
Reasoning with Temporal Properties over Axioms of DL-Lite Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Dresden: Technische Universität Dresden, 2014
-
Runtime Verification Using a Temporal Description Logic Revisited Franz Baader, Marcel Lippmann
Dresden: Technische Universität Dresden, 2014
-
Conjunctive Query Answering in Rough EL Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2014
-
Error-Tolerant Reasoning in the Description Logic EL Michel Ludwig, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2014
-
Learning Formal Definitions for Snomed CT from Text Yue Ma, Felix Distel
Dresden: Technische Universität Dresden, 2013
-
Exploration by Confidence Daniel Borchmann
Dresden: Technische Universität Dresden, 2013
-
Temporal Query Answering w.r.t. DL-Lite-Ontologies Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Dresden: Technische Universität Dresden, 2013
-
Most Specific Generalizations w.r.t. General EL-TBoxes Benjamin Zarrieß, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2013
-
On the Decidability of Verifying LTL Properties of Golog Programs ((Extended Version) Benjamin Zarrieß, Jens Claßen
Dresden: Technische Universität Dresden, 2013
-
Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes Andreas Ecke, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2013
-
A General Form of Attribute Exploration Daniel Borchmann
Dresden: Technische Universität Dresden, 2013
-
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernández Gil, Barbara Morawska
Dresden: Technische Universität Dresden, 2013
-
Verification of Golog Programs over Description Logic Actions Franz Baader, Benjamin Zarrieß
Dresden: Technische Universität Dresden, 2013
-
Gödel Description Logics Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2013
-
Model Exploration by Confidence with Completely Specified Counterexamples Daniel Borchmann
Dresden: Technische Universität Dresden, 2013
-
On the Complexity of Temporal Query Answering Franz Baader, Stefan Borgwardt, Marcel Lippmann
Dresden: Technische Universität Dresden, 2013
-
A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2012
-
On Confident GCIs of Finite Interpretations Daniel Borchmann
Dresden: Technische Universität Dresden, 2012
-
Solving Language Equations and Disequations Using Looping Tree Automata with Colors Franz Baader, Alexander Okhotin
Dresden: Technische Universität Dresden, 2012
-
SAT Encoding of Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2012
-
Computing Minimal EL-Unifiers is Hard Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2012
-
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2012
-
Unification in the Description Logic EL Without Top Constructor Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2011
-
Complementation and Inclusion of Weighted Automata on Infinite Trees Revised Version Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2011
-
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm Rafael Peñaloza
Dresden: Technische Universität Dresden, 2011
-
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes Franz Baader, Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2011
-
Undecidability of Fuzzy Description Logics Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2011
-
Finding Finite Herbrand Models Stefan Borgwardt, Barbara Morawska
Dresden: Technische Universität Dresden, 2011
-
Completion-based computation of least common subsumers with limited role-depth for EL and Prob-EL⁰¹ Rafael Peñaloza, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2010
-
Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹ Rafael Peñaloza, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2010
-
SAT Encoding of Unification in EL Franz Baader, Barbara Morawska
Dresden: Technische Universität Dresden, 2010
-
Complementation and Inclusion of Weighted Automata on Infinite Trees Stefan Borgwardt, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2010
-
Adding Causal Relationships to DL-based Action Formalisms Franz Baader, Marcel Lippmann, Hongkai Liu
Dresden: Technische Universität Dresden, 2010
-
Computing Boundaries for Reasoning in Sub-Ontologies Franz Baader, Martin Knechtel, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2009
-
Putting ABox Updates into Action Franz Baader, Conrad Drescher, Hongkai Liu, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Dresden: Technische Universität Dresden, 2009
-
Integrate Action Formalisms into Linear Temporal Description Logics Franz Baader, Hongkai Liu, Anees ul Mehdi
Dresden: Technische Universität Dresden, 2009
-
On the Complexity of Axiom Pinpointing in Description Logics Rafael Peñaloza, Barış Sertkaya
Dresden: Technische Universität Dresden, 2009
-
Pinpointing in Terminating Forest Tableaux Franz Baader, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2008
-
Model-based Most Specific Concepts in Description Logics with Value Restrictions Felix Distel
Dresden: Technische Universität Dresden, 2008
-
Exploring finite models in the Description Logic ELgfp Franz Baader, Felix Distel
Dresden: Technische Universität Dresden, 2008
-
Some Computational Problems Related to Pseudo-intents Barış Sertkaya
Dresden: Technische Universität Dresden, 2008
-
LTL over Description Logic Axioms Franz Baader, Silvio Ghilardi, Carsten Lutz
Dresden: Technische Universität Dresden, 2008
-
Blocking and Pinpointing in Forest Tableaux Franz Baader, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2008
-
Axiom Pinpointing in General Tableaux Franz Baader, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2007
-
A finite basis for the set of EL-implications holding in a finite model Franz Baader, Felix Distel
Dresden: Technische Universität Dresden, 2007
-
Module Extraction and Incremental Classification a Pragmatic Approach for EL ⁺ Ontologies Boontawee Suntisrivaraporn
Dresden: Technische Universität Dresden, 2007
-
PSpace Automata with Blocking for Description Logics Franz Baader, Jan Hladik, Rafael Peñaloza
Dresden: Technische Universität Dresden, 2006
-
Pinpointing in Tableaus Rafael Peñaloza
Dresden: Technische Universität Dresden, 2006
-
On Language Equations with One-sided Concatenation Franz Baader, Alexander Okhotin
Dresden: Technische Universität Dresden, 2006
-
Completing Description Logic Knowledge Bases using Formal Concept Analysis Franz Baader, Bernhard Ganter, Ulrike Sattler, Barış Sertkaya
Dresden: Technische Universität Dresden, 2006
-
Description Logic Actions with general TBoxes a Pragmatic Approach Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
Dresden: Technische Universität Dresden, 2006
-
Pushing the EL Envelope Franz Baader, Sebastian Brandt, Carsten Lutz
Dresden: Technische Universität Dresden, 2005
-
Expressive Non-Monotonic Description Logics Based on Circumscription Piero Bonatti, Carsten Lutz, Frank Wolter
Dresden: Technische Universität Dresden, 2005
-
A Tableau Algorithm for DLs with Concrete Domains and GCIs Carsten Lutz, Maja Miličić
Dresden: Technische Universität Dresden, 2005
-
A New n-ary Existential Quantifier in Description Logics Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
Dresden: Technische Universität Dresden, 2005
-
Integrating Description Logics and Action Formalisms for Reasoning about Web Services Franz Baader, Carsten Lutz, Maja Miličić, Ulrike Sattler, Frank Wolter
Dresden: Technische Universität Dresden, 2005
-
Quantitative Temporal Logics PSpace and below Carsten Lutz, Dirk Walther, Frank Wolter
Dresden: Technische Universität Dresden, 2005
-
Connecting many-sorted theories Franz Baader, Silvio Ghilardi
Dresden: Technische Universität Dresden, 2005
-
PDL with Intersection and Converse is Decidable Carsten Lutz
Dresden: Technische Universität Dresden, 2005
-
Complexity and Succinctness of Public Announcement Logic Carsten Lutz
Dresden: Technische Universität Dresden, 2005
-
Updating Description Logic ABoxes Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
Dresden: Technische Universität Dresden, 2005
-
Reasoning in ELH w.r.t. General Concept Inclusion Axioms Sebastian Brandt
Dresden: Technische Universität Dresden, 2004
-
Subsumption and Instance Problem in ELH w.r.t. General TBoxes Sebastian Brandt
Dresden: Technische Universität Dresden, 2004
-
Modal Logics of Topological Relations Carsten Lutz, Frank Wolter
Dresden: Technische Universität Dresden, 2004
-
A nice Cycle Rule for Goal-Directed E-unification Barbara Morawska
Dresden: Technische Universität Dresden, 2004
-
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL Franz Baader
Dresden: Technische Universität Dresden, 2004
-
Description Logics with Concrete Domains and Functional Dependencies Carsten Lutz, Maja Miličić
Dresden: Technische Universität Dresden, 2004
-
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics Franz Baader
Dresden: Technische Universität Dresden, 2003
-
Foundations of non-standard inferences for DLs with transitive roles Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Dresden: Technische Universität Dresden, 2003
-
PDL with Negation of Atomic Programs Carsten Lutz, Dirk Walther
Dresden: Technische Universität Dresden, 2003
-
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Franz Baader, Silvio Ghilardi, Cesare Tinelli
Dresden: Technische Universität Dresden, 2003
-
Completeness of E-unification with eager Variable Elimination Barbara Morawska
Dresden: Technische Universität Dresden, 2003
-
Terminological cycles in a description logic with existential restrictions Franz Baader
Dresden: Technische Universität Dresden, 2002
-
An Approach for Optimizing ALE-Approximation of ALC-Concepts Sebastian Brandt, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2002
-
Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Dresden: Technische Universität Dresden, 2002
-
Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks, Ulrike Sattler
Dresden: Technische Universität Dresden, 2002
-
The Complexity of Finite Model Reasoning in Description Logics Carsten Lutz, Ulrike Sattler, Lidia Tendera
Dresden: Technische Universität Dresden, 2002
-
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles Franz Baader
Dresden: Technische Universität Dresden, 2002
-
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies Carsten Lutz
Dresden: Technische Universität Dresden, 2002
-
Matching under Side Conditions in Description Logics Franz Baader, Sebastian Brandt, Ralf Küsters
Dresden: Technische Universität Dresden, 2001
-
Unification in a Description Logic with Transitive Closure of Roles Franz Baader, Ralf Küsters
Dresden: Technische Universität Dresden, 2001
-
A Tableau Calculus for Temporal Description Logic The Constant Domain Case Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev
Dresden: Technische Universität Dresden, 2001
-
Modal Logic and the two-variable fragment Revised Version Carsten Lutz, Ulrike Sattler, Frank Wolter
Dresden: Technische Universität Dresden, 2001
-
The Inverse Method Implements the Automata Approach for Modal Satisfiability Franz Baader, Stephan Tobies
Dresden: Technische Universität Dresden, 2001
-
Approximation and Difference in Description Logics Sebastian Brandt, Ralf Küsters, Anni-Yasmin Turhan
Dresden: Technische Universität Dresden, 2001
-
Adding Numbers to the SHIQ Description Logic First Results Carsten Lutz
Dresden: Technische Universität Dresden, 2001
-
Optimised Reasoning for SHIQ Ian Horrocks, Ulrike Sattler
Dresden: Technische Universität Dresden, 2001
-
Computing Most Specific Concepts in Description Logics with Existential Restrictions Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 2000
-
Interval-based Temporal Reasoning with General TBoxes Carsten Lutz
Dresden: Technische Universität Dresden, 2000
-
Computing Least Common Subsumers in ALEN Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 2000
-
NExpTime-complete Description Logics with Concrete Domains Carsten Lutz
Dresden: Technische Universität Dresden, 2000
-
The Complexity of Reasoning with Boolean Modal Logics Extended Version Carsten Lutz, Ulrike Sattler
Dresden: Technische Universität Dresden, 2000
-
A Tableau Algorithm for the Clique Guarded Fragment Preliminary Version Colin Hirsch, Stephan Tobies
Dresden: Technische Universität Dresden, 2000
-
Revised Version of LTCS-Report 99-12: Rewriting Concepts Using Terminologies Revisited Franz Baader, Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 2000
-
The Complexity of Reasoning with Concrete Domains Revised Version Carsten Lutz
Dresden: Technische Universität Dresden, 1999
-
Representing and Reasoning on Conceptual Queries Over Image Databases Christophe Rigotti, Mohand-Saïd Hacid
Dresden: Technische Universität Dresden, 1999
-
A Database Approach for Modeling and Querying Video Data Cyril Decleir, Mohand-Saïd Hacid, Jacques Kouloumdjian
Dresden: Technische Universität Dresden, 1999
-
A NExpTime-Complete Description Logic Strictly Contained in C² Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
Rewriting Concepts Using Terminologies Franz Baader, Ralf Molitor
Dresden: Technische Universität Dresden, 1999
-
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions Ian Horrocks, Ulrike Sattler, Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
A PSpace-algorithm for ALCQI-satisfiability Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
PSpace Reasoning for DLs with Qualifying Number Restrictions Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
Rewriting Concepts Using Terminologies - Revisited Franz Baader, Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 1999
-
Matching Concept Descriptions with Existential Restrictions Franz Baader, Ralf Küsters
Dresden: Technische Universität Dresden, 1999
-
Matching Concept Descriptions with Existential Restrictions Revisited Franz Baader, Ralf Küsters
Dresden: Technische Universität Dresden, 1999
-
Optimisation of Terminological Reasoning Ian Horrocks, Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
Query Containment Using a DLR ABox Ian Horrocks, Sergio Tessaris, Ulrike Sattler, Stephan Tobies
Dresden: Technische Universität Dresden, 1999
-
Description Logics with Aggregates and Concrete Domains Part II Franz Baader, Ulrike Sattler
Dresden: Technische Universität Dresden, 1998
-
Structural Subsumption for ALN Ralf Molitor
Dresden: Technische Universität Dresden, 1998
-
Structural Subsumption Considered from an Automata-Theoretic Point of View Franz Baader, Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 1998
-
A Description Logic with Transitive and Converse Roles and Role Hierarchies Ian Horrocks, Ulrike Sattler
Dresden: Technische Universität Dresden, 1998
-
A PSPACE-algorithm for deciding ALCNIR+-satisfiability Ian Horrocks, Ulrike Sattler, Stephan Tobies
Dresden: Technische Universität Dresden, 1998
-
Computing Least Common Subsumer in Description Logics with Existential Restrictions Franz Baader, Ralf Küsters, Ralf Molitor
Dresden: Technische Universität Dresden, 1998
-
The Guarded Fragment of Conceptual Graphs Franz Baader, Ralf Molitor, Stephan Tobies
Dresden: Technische Universität Dresden, 1998
-
On the Relation between Conceptual Graphs and Description Logics Franz Baader, Ralf Molitor, Stefan Tobies
Dresden: Technische Universität Dresden, 1998
-
Unification of Concept Terms in Description Logics Revised Version Franz Baader, Paliath Narendran
Dresden: Technische Universität Dresden, 1998
-
A Description Logic for Vague Knowledge Christopher B. Tresp, Ralf Molitor
Dresden: Technische Universität Dresden, 1998
-
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions Franz Baader, Ralf Küsters
Dresden: Technische Universität Dresden, 1998
-
Unfication of Concept Terms in Description Logics Franz Baader, Paliath Narendran
Dresden: Technische Universität Dresden, 1997
-
Description Logics with Aggregates and Concrete Domains Franz Baader, Ulrike Sattler
Dresden: Technische Universität Dresden, 1997
-
On the Complexity of Boolean Unification Franz Baader
Dresden: Technische Universität Dresden, 1997
-
Characterizing the semantics of terminological cycles in ALN using finite automata Ralf Küsters
Dresden: Technische Universität Dresden, 1997
-
A Rule-Based Data Manipulation Language for OLAP Systems Mohand-Saïd Hacid, Patrick Marcel, Christophe Rigotti
Dresden: Technische Universität Dresden, 1997
-
Unification Theory An Introduction Franz Baader, Klaus U. Schulz
Dresden: Technische Universität Dresden, 1997
-
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method Franz Baader, Cesare Tinelli
Dresden: Technische Universität Dresden, 1996
-
Number Restrictions on Complex Roles in Description Logics Franz Baader, Ulrike Sattler
Dresden: Technische Universität Dresden, 1996
-
Description Logics with Symbolic Number Restrictions Franz Baader, Ulrike Sattler
Dresden: Technische Universität Dresden, 1996
-
Optimisation Techniques for Combining Constraint Solvers Stephan Kepser, Jörn Richts
Dresden: Technische Universität Dresden, 1996
-
Combination of Compatible Reduction Orderings that are Total on Ground Terms Franz Baader
Dresden: Technische Universität Dresden, 1996