Technical Reports of all members of the Chair for Automata Theory can be found in a separate list.
R. S. Goncalves, B. Parsia, and U. Sattler: Concept-Based
Semantic Difference in Expressive Description Logics. In
Proc. of DL 2012.
Paper at CEUR
S. Bail, B. Parsia, and U. Sattler: Diversity of Reason:
Equivalence Relations over Description Logic Explanations. In
Proc. of DL 2012.
Paper at CEUR
C. Del Vescovo, B. Parsia, and U. Sattler: Logical Relevance in Ontologies. In
Proc. of DL 2012.
Paper at CEUR
P. Seyed, A. L. Rector, U. Sattler, B. Parsia, R. Stevens:
Representation of Part-Whole Relationships in SNOMED CT. In
Proc. of the 3rd International Conference on Biomedical Ontology
(ICBO 2012),
Paper at CEUR
M. Horridge, B. Parsia, and U. Sattler: Justification Masking
in Ontologies. In Proc. of KR 2012
Paper
at AAAI
R. S. Goncalves, B. Parsia, and U. Sattler: Ecco: A Hybrid Diff
Tool for OWL 2 ontologies. In Proc. of OWLED 2012
Paper at CEUR
T. Alsubait, B. Parsia, and U. Sattler: Mining Ontologies for
Analogy Questions: A Similarity-based Approach. In Proc. of
OWLED 2012
Paper at CEUR
C. Del Vescovo, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and
D. Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap
Approximation? In Proc. 6th WoMO, vol. 875 of CEUR, 2012.
Paper at
CEUR, Technical Report
2011
C. Del Vescovo, D. Gessler, P. Klinov, B. Parsia, U. Sattler,
T. Schneider, and A. Winget: Decomposition and Modular Structure
of BioPortal Ontologies. International Semantic Web Conference
(1) 2011: 130-145
Paper
M. Horridge, S. Bail, B. Parsia, and U. Sattler: The Cognitive Complexity of OWL Justifications. International Semantic Web Conference (1) 2011: 241-256
Paper
S. Bail, M. Horridge, B. Parsia, and U. Sattler: The Justificatory Structure of the NCBO BioPortal Ontologies. International Semantic Web Conference (1) 2011: 67-82
Paper
R. S. Gonçcalves, B. Parsia, and U. Sattler. Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Proceedings of the
2010 International Workshop on
Description Logics (DL2011).
Paper
M. Horridge, S. Bail, B. Parsia, and U. Sattler. The Cognitive Complexity of OWL Justifications. Proceedings of the
2010 International Workshop on
Description Logics (DL2011).
Paper
S. Bail, B. Parsia, and U. Sattler. Extracting Finite Sets of Entailments from OWL Ontologies. Proceedings of the
2010 International Workshop on
Description Logics (DL2011).
Paper
C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The
modular structure of an ontology: atomic decomposition Proceedings
of the International Joint Conferences on Artificial Intelligence
(IJCAI 2011).
Paper
C. Del Vescovo, B. Parsia, and U. Sattler: Topicality in
Logic-Based Ontologies Proceedings of the 19th International
Conference on Conceptual Structures (ICCS 2011).
Paper
M. Horridge, B. Parsia, and U. Sattler: The State of Bio-Medical Ontologies Proceedings of the 2011 ISMB Bio-Ontologies SIG.
R. S. Gonçalves, B. Parsia, and Uli Sattler: Analysing the
Evolution of the NCI Thesaurus Proceedings of the 24th International Symposium on Computer-Based Medical Systems (CBMS 2011)
2010
F. Lin, U. Sattler, M. Truszczynski (editors). Principles of
Knowledge Representation and Reasoning: Proceedings of the Twelfth
International Conference, KR 2010, Toronto, Ontario, Canada, May
9-13, 2010 AAAI Press 2010
M. Horridge, B. Parsia, and U. Sattler: Justification Masking in
OWL Proceedings of the
2010 International Workshop on
Description Logics (DL2010).
Paper
C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The modular structure of an ontology: an empirical study Proceedings of the
2010 International Workshop on
Description Logics (DL2010).
Paper
S. Bail, B. Parsia, U. Sattler: JustBench: A Framework for OWL Benchmarking. International Semantic Web Conference (1) 2010: 32-47.
Paper
M. Horridge, B. Parsia, U. Sattler: Justification Oriented Proofs
in OWL. International Semantic Web Conference (1) 2010:
354-369.
Paper
S. Ghilardi, V. Sofronie-Stokkermans, U. Sattler, A. Tiwari (editors). Special issue on automated deduction: Decidability, complexity, tractability. Journal of Symbolic Computation. 45(2): 151-152 (2010)
Journal at Elsevier
J. Opitz, B. Parsia, and U. Sattler. Evaluating Modelling Approaches for Medical Image Annotations Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2010).
Paper
J. Opitz, B. Parsia, and U. Sattler. Information System Analysis International Workshop on Evaluation of Semantic Technologies (IWEST 2010). Paper
2009
J. Bauer, U. Sattler, B. Parsia. Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009
Paper
Matthew Horridge, Bijan Parsia, Ulrike Sattler. Lemmas for Justifications in OWL. Description Logics 2009
Paper
Pavel Klinov, Bijan Parsia, Ulrike Sattler. On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009
Paper
Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev. Which Kind of Module Should I Extract? Description Logics 2009
Paper
R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter, M. Zakharyaschev. Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009.
Paper
D. Tsarkov, U. Sattler, R. Stevens. A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009
Paper
M. Horridge, B. Parsia, U. Sattler. From Justifications to Proofs for Entailments in OWL. OWLED 2009
Paper
B. Parsia, U. Sattler, T. Schneider. Mechanisms for Importing Modules. OWLED 2009
Paper
J. Opitz, B. Parsia, U. Sattler. Using Ontologies for Medical Image Retrieval - An Experiment. OWLED 2009.
Paper
M. Horridge, B. Parsia, U. Sattler. Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137
Paper at Springer
B. Cuenca Grau, I. Horrocks, Y. Kazakov, U. Sattler. Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
Paper at Springer
B. Motik, B. Cuenca Grau, I. Horrocks, U. Sattler. Representing ontologies using description logics, description graphs, and rules. Artificial Intelligence, 173(14): 1275-1309 (2009).
Paper at Elsevier
B. Motik, I. Horrocks, and U. Sattler. Bridging the Gap Between OWL and Relational Databases. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 7(2): 74-89, 2009.
Paper (pdf)
2008
M. Horridge, B. Parsia, and U. Sattler. Laconic and Precise Justifications in OWL. In Proc. of the 7th International Semantic Web Conference (ISWC 2008), Vol. 5318 of LNCS, Springer, 2008.
Paper (pdf)
B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler. OWL 2: The next step for OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 6(4):309-322, 2008.
Paper at Elsevier
B. Motik, B. Cuenca Grau, I. Horrocks, and U. Sattler. Representing Structured Objects using Description Graphs. In Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), AAAI Press, 2008.
Paper (pdf)
B. Glimm, I. Horrocks, and U. Sattler. Unions of Conjunctive Queries in SHOQ . In Proc. of the 11th Int. Joint Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), AAAI Press, 2008.
Paper (pdf)
B. Glimm, I. Horrocks, and U. Sattler.Deciding SHOQ Knowledge Base Consistency using Alternating Automata. In Proc. of the 2008 Description Logic Workshop (DL 2008), available
electronically at CEUR, 2008.
B. Motik, B. Cuenca Grau and U. Sattler. The Representation of Structured Objects in DLs using Description Graphs. In Proc. of the 2008 Description Logic Workshop (DL 2008), available
electronically at CEUR, 2008.
P. Ke and U. Sattler. Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. In Proc. of the 2008 Description Logic Workshop (DL 2008), available
electronically at CEUR, 2008.
E. Jimenez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In The Semantic Web: Research and Applications, vol. 5021 of LNCS, Springer Verlag, 2008. Part of this work was carried out within the TONES project.
Paper (at Springer)
E. Jimenez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Proc. of the 2008 Description Logic Workshop (DL 2008), available
electronically at CEUR, 2008. Part of this work was carried out within the TONES project.
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular Reuse of Ontologies: Theory and Practice.
Journal of Artificial Intelligence Research (JAIR), Vol. 31, pages 273-318, 2008. Part of this work was carried out within the TONES project.
a preliminary version
B. Motik, B. Cuenca Grau, and U. Sattler. Structured Objects in
OWL: Representation and Reasoning. In
Proc. of the 17th International World Wide Web Conference (WWW 2008), Beijing, China, 21-25 April 2008. ACM.
Paper (pdf)
B. Glimm, I. Horrocks, C. Lutz, and U. Sattler.
Conjunctive Query Answering for the Description Logic SHIQ. Journal of Artificial Intelligence Research, Vol. 31, pages 157-204, 2008. Part of this work was carried out within the TONES project.
Paper at JAIR
2007
U. Hustadt, B. Motik, and U. Sattler. Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning, Springer Verlag, 39(3), 351-384, 2007.
Paper at Springer
Y. Kazakov, U. Sattler, and E. Zolin. How many legs do I have? Non-simple roles in number restrictions revisited. In Proc. of the 14th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Vol. 4790 of LNCS, Springer, 2007.
Paper (pdf)
I. Horrocks and U. Sattler. A Tableaux
Decision Procedure for SHOIQ. Journal of Automated Reasoning, Springer Verlag, 39(3), 245-429, 2007.
Paper (PDF)
R. Stevens, M. Egana Aranguren, K. Wolstencroft, U. Sattler, N. Drummond, M. Horridge, and A. Rector: Using OWL to model biological knowledge. International Journal of Human-Computer Studies, in print, 2007.
Paper (at IJHCS)
B. Cuenca Grau , I. Horrocks , Y. Kazakov and U. Sattler:
Just the Right Amount: Extracting Modules from Ontologies. In Proc. of the 16th International World Wide Web Conference (WWW 2007), 2007.
Paper (pdf)
B. Motik, I. Horrocks, and U. Sattler. Bridging the Gap Between OWL and Relational Databases. In Proc. of the 16th International World Wide Web Conference (WWW 2007), 2007. To appear.
Paper (pdf)
M. Egana Aranguren, S. Bechhofer, P. Lord, U. Sattler, and R. Stevens: Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. BMC Bioinformatics 2007, 8:57.
Paper (at BMCBI)
F. Baader, B. Ganter, B. Sertkaya, and U. Sattler:
Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Proc. of the Twentieth International
Joint Conference on Artificial Intelligence (IJCAI 2007), 2007.
Paper (pdf)
B. Cuence Grau, I. Horrocks, Y. Kazakov, and U. Sattler. A Logical Framework for Modularity of Ontologies. In Proc. of the Twentieth International
Joint Conference on Artificial Intelligence (IJCAI 2007), 2007.
Paper (pdf)
B. Glimm, I. Horrocks, C. Lutz, and U. Sattler.
Conjunctive Query Answering for the Description Logic SHIQ. In Proc. of the Twentieth International
Joint Conference on Artificial Intelligence (IJCAI 2007), 2007.
Paper (pdf)
2006
I. Horrocks, U. Hustadt, U. Sattler, and R. Schmidt.
Computational modal logic.
In P. Blackburn, J. van Benthem, and F. Wolter, editors,
Handbook of Modal Logic, chapter 4, pages 181-245. Elsevier, 2006.
Paper (pdf)
B. Cuenca Grau, I. Horrocks, B. Parsia, P. Patel-Schneider, and U. Sattler. Next Steps for OWL. In Proc. of OWL: Experiences and Directions, available
electronically at CEUR, 2006.
C. Elsenbroich, O. Kutz and U. Sattler. A Case for Abductive Reasoning over Ontologies. In Proc. of OWL: Experiences and Directions,, available
electronically at CEUR, 2006.
B. Motik and U. Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In M. Hermann and A. Voronkov, (editors), In Proc. of the 13th Int. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006), Vol 4246 of LNCS, Springer, 2006.
Paper (pdf)
B. Motik, I. Horrocks, R. Rosati, and U. Sattler. Can OWL and logic programming live together happily ever after? In Proc. of the 2006 International Semantic Web Conference (ISWC 2006) (to appear), 2006.
Paper (pdf)
G. Pan, U. Sattler, and M.Y. Vardi. BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics, 16(1-2), pages 169-208, 2006.
Paper (pdf)
B. Glimm, I. Horrocks and U. Sattler. Conjunctive Query Answering for Description Logics with Transitive Roles. In Proc. of the
International Workshop on Description Logics, available
electronically at CEUR, 2006.
Paper (pdf)
B. Cuenca Grau, I. Horrocks, O. Kutz, and U. Sattler. Will my Ontologies Fit Together? In Proc. of the
International Workshop on Description Logics, available
electronically at CEUR, 2006.
Paper (pdf)
B. Parsia, U. Sattler, and D. Toman (editors). Proc. of the
International Workshop on Description Logics, available
electronically as Vol. 189 at CEUR, 2006.
I. Horrocks, O. Kutz, and U. Sattler. The Even More Irresistible SROIQ In Proc. of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006, Lake District UK), 2006.
Paper (pdf)
D. Hull, E. Zolin, A. Bovykin, I. Horrocks, U. Sattler, and R. Stevens. Deciding Semantic Matching of Stateless Services. In Proc. of the 21th National Conference on
Artificial Intelligence (AAAI-06).
AAAI Press.
Paper (pdf)
2005
F. Baader, I. Horrocks, and U. Sattler.
Description Logics as Ontology Languages for the Semantic Web.
In Dieter Hutter and Werner Stephan, editors, Festschrift in honor
of Jörg Siekmann, Lecture Notes in Artificial Intelligence,
Volume 2605. Springer-Verlag, 2005.
Bibtex
entry Paper
at Springer
I. Horrocks, U. Sattler, and F. Wolter (editors). Proc. of the
International Workshop on Description Logics, available
electronically as Vol. 147 at CEUR, 2005.
A. Goderis, U. Sattler, P. Lord, and C. Goble. Seven bottlenecks
to workflow reuse and repurposing. In Proc. of the
4th Int. Semantic Web Conf. (ISWC2005), Vol. 3729/2005 of LNCS, Springer-Verlag, 2005.
Paper
at Springer
K. Wolstencroft, A. Brass, I. Horrocks, P. Lord, U. Sattler, D. Turi,
and R. Stevens. A Little Semantic Web Goes a Long Way in
Biology. In Proc. of the 4th Int. Semantic Web
Conf. (ISWC2005), Vol. 3729/2005 of LNCS, Springer-Verlag, 2005.
Paper
at Springer
A. Goderis, U. Sattler, and C. Goble. Applying DLs to workflow
reuse and repurposing. In Proc. of the International Workshop
on Description Logics 2005 (DL2005), available electronically at CEUR, 2005.
F. Baader and C. Lutz and M. Milicic and U. Sattler and
F. Wolter. Integrating Description Logics and Action Formalisms:
First Results. In Proc. of the 20th National Conference on
Artificial Intelligence (AAAI-05).
AAAI Press.
Paper
(PDF) Accompanying
technical report (ps).
I. Horrocks, O. Kutz, and U. Sattler. The Even More Irresistible SROIQ. Technical Report, 2005.
Paper (pdf)
I. Horrocks, O. Kutz, and U. Sattler. The Irresistible SRIQ.
In OWL: Experiences and Directions (Workshop), Galway, Ireland, November 11-12, 2005.
Paper (pdf)
U. Hustadt, B. Motik, and
U. Sattler. Data Complexity of Reasoning in Very Expressive
Description Logics In Proceedings of Nineteenth International
Joint Conference on Artificial Intelligence (IJCAI 2005),
2005. Morgan-Kaufmann Publishers.
Paper
(PDF)
I. Horrocks and U. Sattler. A Tableaux
Decision Procedure for SHOIQ In Proceedings of Nineteenth
Inter- national Joint Conference on Artificial Intelligence (IJCAI 2005),
2005. Morgan-Kaufmann Publishers.
Paper (PDF) Accompanying technical report now superseeded by the journal version .
U. Hustadt, B. Motik, and
U. Sattler. A Decomposition Rule for Decision Procedures by
Resolution-Based Calculi. In Logic for Programming, Artificial
Intelligence, and Reasoning, Proc. of the 11th International
Conference, LPAR 2004. Vol. 3452 of Lecture Notes in Computer Science,
Springer Verlag, 2005.
Paper
at Springer-Verlag.
C. Lutz, C. Areces, I. Horrocks, and U. Sattler.
Keys, Nominals, and Concrete Domains. Journal of Artificial
Intelligence Research, Vol. 23, pages 667-726, 2005.
Bibtex entry Paper (PDF).
C. Lutz, U. Sattler, and L. Tendera. The complexity of finite
model reasoning in description logics. Information and
Computation, Volume 199, Issues 1-2, 2005, Pages 132-171.
Paper
at Elsevier
B. Motik and U. Sattler and R. Studer.Query Answering for {OWL-DL} with rules. Journal of Web Semantics, 3(1), pages 41-60. 2005.
Paper at JWS
2004
I. Horrocks, and U. Sattler.
Decidability of SHIQ with complex role inclusion
axioms. Artificial Intelligence, 120 (1-2), pages 79-104. 2004.
Paper at Elsevier
B. Motik, U. Sattler, and
R. Studer. Query Answering for OWL-DL with Rules. In Proc. of
the Third International Semantic Web Conference (ISWC 2004),
Vol. 3298 of Lecture Notes in Computer Science. Springer-Verlag, 2004.
Paper at Springer-Verlag.
U. Hustadt, B. Motik, and
U. Sattler. Reasoning in Description Logics with a Concrete Domain
in the Framework of Resolution In Proc. of the 16th European
Conference on Artificial Intelligence (ECAI-2004). Part of this work was carried out within the TONES project.
Paper
(PDF)
U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ- Description
Logic to Disjunctive Datalog Programs. In Proc. of the 9th
Int. Conf. on the Principles of Knowledge Representation and
Reasoning (KR-04). Morgan Kaufmann, Los Altos, 2004.
Paper (PDF).
F. Baader, I. Horrocks, and U. Sattler. Description
Logics. In S. Staab, R. Studer, editors, Handbook on
Ontologies, Springer Verlag, pages 3 - 28, 2004.
U. Sattler, editor, Contributions to the Doctoral Programme of
the 2nd International Joint Conference on Automated Reasoning, IJCAR 2004, Cork,
Ireland, July 4-8, 2004. Volume
106 of CEUR-WS.
J. Hladik and U. Sattler.
A Translation of Alternating Automata to Description Logics.
In Proc. of the 19th Conference on Automated Deduction (CADE-19),
volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
I. Horrocks and U. Sattler.
Decidability of SHIQ with Complex Role Inclusion Axioms.
In Proc. of the International Joint Conference on Artificial Intelligence
(IJCAI-2003). Morgan-Kaufmann Publishers, 2003.
C. Lutz, C. Areces, I. Horrocks, and U. Sattler.
Keys, Nominals, and Concrete Domains.
In Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence IJCAI-03, Acapulco, Mexico, 2003.
Morgan-Kaufmann Publishers.
C. Lutz, U. Sattler, and L. Tendera.
The Complexity of Finite Model Reasoning in Description Logics.
In Proc. of the 19th Conference on Automated Deduction (CADE-19),
volume 2741 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2003.
U. Sattler.
Description Logics for Ontologies.
In Proc. of the International Conference on Conceptual Structures (ICCS
2003), volume 2746 of Lecture Notes in Artificial Intelligence. Springer
Verlag, 2003.
U. Sattler.
Description Logics for Ontologies.
Habilitationsschrift, TU Dresden, 2003.
U. Sattler, D. Calvanese, and R. Molitor.
Relationship with other Formalisms.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and
Peter F. Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation, and Applications, pages 137-177. Cambridge
University Press, 2003.
S. Demri and U. Sattler.
Automata-Theoretic Decision Procedures for Information Logics.
Fundamenta Informaticae, 53(1):1-22, 2002.
I. Horrocks and U. Sattler. Optimised Reasoning for
SHIQ. In Proc. of the 15th European Conference on Artificial
Intelligence, 2002.
O. Kupferman, U. Sattler, and M. Y. Vardi.
The Complexity of the Graded mu-Calculus.
In Proceedings of the Conference on Automated Deduction, 2002.
C. Lutz and U. Sattler.
A Proposal for Describing Services with DLs.
In Proceedings of the 2002 International Workshop on Description
Logics, 2002.
G. Pan, U. Sattler, and M. Y. Vardi.
BDD-Based Decision Procedures for K.
In Proceedings of the Conference on Automated Deduction, 2002.
I. Horrocks and U. Sattler.
Ontology Reasoning in the SHOQ(D) Description Logic.
In Proceedings of the Seventeenth International Joint Conference on
Artificial Intelligence, 2001.
C. Lutz and U. Sattler.
The Complexity of Reasoning with Boolean Modal Logics.
In Frank Wolter, Heinrich Wansing, Maarten de Rijke, and Michael Zakharyaschev,
editors, Advances in Modal Logics Volume 3. CSLI Publications,
Stanford, 2001.
C. Lutz, U. Sattler, and F. Wolter.
Description Logics and the Two-Variable Fragment.
In D.L. McGuiness, P.F. Pater-Schneider, C. Goble, and R. Möller, editors,
Proceedings of the 2001 International Workshop in Description Logics
(DL-2001), pages 66-75, Stanford, California, USA, 2001.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/.
C. Lutz, U. Sattler, and F. Wolter.
Modal Logics and the two-variable fragment.
In Annual Conference of the European Association for Computer Science Logic
CSL'01, LNCS, Paris, France, 2001. Springer Verlag.
U. Sattler and M. Y. Vardi.
The Hybrid mu-Calculus.
In R. Goré, A. Leitsch, and T. Nipkow, editors, Proceedings of the
International Joint Conference on Automated Reasoning, volume 2083 of
LNAI, pages 76-91. Springer Verlag, 2001.
E. Franconi, F. Baader, U. Sattler, and P. Vassiliadis.
Multidimensional Data Models and Aggregation.
In M. Jarke, M. Lenzerini, Y. Vassilious, and P. Vassiliadis, editors,
Fundamentals of Data Warehousing, pages 87-106. Springer-Verlag, 2000.
I. Horrocks, U. Sattler, and S. Tobies.
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL, 8(3):239-264, May 2000.
I. Horrocks, U. Sattler, and S. Tobies.
Reasoning with Individuals for the Description Logic SHIQ.
In David MacAllester, editor, Proceedings of the 17th International
Conference on Automated Deduction (CADE-17), number 1831 in Lecture
Notes in Computer Science, Germany, 2000. Springer Verlag.
I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies.
How to decide Query Containment under Constraints using a Description
Logic.
In Proceedings of the 7th International Workshop on Knowledge
Representation meets Databases (KRDB-2000), 2000.
I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies.
How to decide Query Containment under Constraints using a Description
Logic.
In Andrei Voronkov, editor, Proceedings of the 7th International Conference
on Logic for Programming and Automated Reasoning (LPAR'2000), number
1955 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
C. Lutz and U. Sattler.
The Complexity of Reasoning with Boolean Modal Logic.
In Advances in Modal Logic 2000 (AiML 2000), Leipzig, Germany, 2000.
Final version appeared in Advanced in Modal Logic Volume 3, 2001.
C. Lutz and U. Sattler.
Mary likes all Cats.
In F. Baader and U. Sattler, editors, Proceedings of the 2000 International
Workshop in Description Logics (DL2000), number 33 in CEUR-WS, pages
213-226, Aachen, Germany, August 2000. RWTH Aachen.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-33/.
U. Sattler.
Description Logics for the Representation of Aggregated Objects.
In W.Horn, editor, Proceedings of the 14th European Conference on
Artificial Intelligence. IOS Press, Amsterdam, 2000.
E. Franconi and U. Sattler.
A Data Warehouse Conceptual Data Model for Multidimensional
Aggregation.
In Workshop on Design and Management of Data Warehouses (DMDW'99),
Heidelberg, Germany, June 1999.
E. Franconi and U. Sattler.
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a
preliminary report.
Italian Association for Artificial Intelligence AI*IA Notizie, 1:9-21,
1999.
I. Horrocks and U. Sattler.
A Description Logic with Transitive and Inverse Roles and Role
Hierarchies.
Journal of Logic and Computation, 9(3):385-410, 1999.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies.
Practical Reasoning for Description Logics with Functional Restrictions,
Inverse and Transitive Roles, and Role Hierarchies.
In Proceedings of the 1999 Workshop Methods for Modalities (M4M-1),
Amsterdam, 1999.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies.
Practical Reasoning for Expressive Description Logics.
In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors,
Proceedings of the 6th International Conference on Logic for Programming and
Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in
Artificial Intelligence, pages 161-180. Springer-Verlag, September 1999.
C. Lutz, U. Sattler, and S. Tobies.
A Suggestion for an n-ary Description Logic.
In Patrick Lambrix, Alex Borgida, Maurizio Lenzerini, Ralf Möller, and
Peter Patel-Schneider, editors, Proceedings of the International Workshop
on Description Logics, number 22 in CEUR-WS, pages 81-85, Linkoeping,
Sweden, July 30 - August 1 1999. Linköping University.
Proceedings online available from
http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/.
I. Horrocks and U. Sattler.
A Description Logic with Transitive and Converse Roles and Role
Hierarchies.
In Proceedings of the International Workshop on Description Logics,
Povo - Trento, Italy, 1998. IRST.
U. Sattler.
Terminological knowledge representation systems in a process engineering
application.
PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
F. Baader and U. Sattler.
Knowledge Representation in Process Engineering.
In Proceedings of the International Workshop on Description Logics,
Cambridge (Boston), MA, U.S.A., 1996. AAAI Press/The MIT Press.
F. Baader and U. Sattler.
Number Restrictions on Complex Roles in Description Logics.
In Proceedings of the Fifth International Conference on the Principles of
Knowledge Representation and Reasoning (KR-96). Morgan Kaufmann, Los
Altos, 1996.
An extended version has appeared as Technical Report LTCS-96-02.
U. Sattler.
A Concept Language Extended with Different Kinds of Transitive Roles.
In G. Görz and S. Hölldobler, editors, 20. Deutsche Jahrestagung
für Künstliche Intelligenz, number 1137 in Lecture Notes in
Artificial Intelligence. Springer Verlag, 1996.
U. Sattler.
Knowledge Representation in Process Engineering.
In F. Baader, H. J. Bürckert, A. Günter, and W. Nutt, editors,
Proceedings of the Workshop on Knowledge Representation and Configuration
(WRKP'96), DFKI Document D-96-04. Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH, 1996.
Ulrike Sattler.
A Concept Language for an engeneering application with part-whole
relations.
In A. Borgida, M. Lenzerini, D. Nardi, and B. Nebel, editors, Proceedings
of the International Workshop on Description Logics, pages 119-123,
Rome, 1995.
2003
F. Baader and U. Sattler.
Description Logics with Aggregates and Concrete Domains.
Information Systems, 28(8):979, 2003.
Bibtex entry Paper (PS)
Bibtex entry Paper (PS) ©Springer-Verlag
Bibtex entry
Paper (PDF)
Bibtex entry
Paper (PS)
Abstract
Bibtex entry
Paper (PS)
©Springer-Verlag
Bibtex entry Paper at Springer
Paper (PS)
Bibtex
entry Abstract
2002
F. Baader, I. Horrocks, and U. Sattler.
Description Logics for the Semantic Web.
KI - Künstliche Intelligenz, 4, 2002.
Bibtex entry
Bibtex entry Paper (PS)
Bibtex
entry Paper (PS) Paper (PDF)
Bibtex entry Paper (PS) ©Springer-Verlag
Bibtex entry Abstract Paper
Bibtex entry Paper (PS) ©Springer-Verlag
2001
F. Baader and U. Sattler.
An Overview of Tableau Algorithms for Description Logics.
Studia Logica, 69:5-40, 2001.
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper
Bibtex entry AbstractPaper (PS)
2000
F. Baader and U. Sattler.
Tableau Algorithms for Description Logics.
In R. Dyckhoff, editor, Proceedings of the International Conference on
Automated Reasoning with Tableaux and Related Methods (Tableaux 2000),
volume 1847 of Lecture Notes in Artificial Intelligence, pages 1-18,
St Andrews, Scotland, UK, 2000. Springer-Verlag.
Bibtex entry Abstract Paper ©Springer-Verlag
Bibtex entry
Bibtex entry Abstract Paper ©Oxford University
Press
Bibtex entry Abstract Paper ©Springer-Verlag
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper ©Springer-Verlag
Bibtex entry
Bibtex entry Abstract
Paper
Bibtex entry Paper
1999
F. Baader and U. Sattler.
Expressive Number Restrictions in Description Logics.
Journal of Logic and Computation, 9(3):319-350, 1999.
Bibtex entry Abstract Paper Free reprint ©Oxford University Press
Bibtex entry Paper
Bibtex entry Paper
Bibtex entry Abstract Free reprint ©Oxford University Press
Bibtex entry Abstract Paper
Bibtex entry Abstract Paper ©Springer-Verlag
Bibtex entry Abstract Paper
1998
F. Baader and U. Sattler.
Description Logics with Concrete Domains and Aggregation.
In H. Prade, editor, Proceedings of the 13th European Conference on
Artificial Intelligence (ECAI-98), pages 336-340. John Wiley & Sons
Ltd, 1998.
Bibtex entry Paper
Bibtex entry Paper
Bibtex entry Abstract Paper
1997
F. Baader and U. Sattler.
Description Logics with Aggregates and Concrete Domains.
In Proceedings of the International Workshop on Description Logics, Gif
sur Yvette, France, 1997.
Bibtex entry Paper
1996
F. Baader and U. Sattler.
Description Logics with Symbolic Number Restrictions.
In W. Wahlster, editor, Proceedings of the Twelfth European Conference on
Artificial Intelligence (ECAI-96), pages 283-287. John Wiley & Sons
Ltd, 1996.
An extended version has appeared as Technical Report LTCS-96-03.
Bibtex entry Abstract Paper
Bibtex entry Abstract
Paper
Bibtex entry Abstract
Bibtex entry Abstract Paper
Bibtex entry Paper
1995
François Bergeron and Ulrike Sattler.
Constructible differentially finite algebraic series in several
variables.
Theoretical Computer Science, 144(1-2):59-66, June 1995.
Bibtex entry Abstract
Bibtex entry Abstract Paper
Back to the homepage
of the Uli Sattler.