Information Management Group within the School of Computer Science of the University of Manchester

Publications of Uli Sattler

Technical Reports of all members of the Chair for Automata Theory can be found in a separate list.


2012

B. Gramlich, D. Miller, and U. Sattler (eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. LNCS 7364. Springer 2012

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.


2003

F. Baader and U. Sattler. Description Logics with Aggregates and Concrete Domains. Information Systems, 28(8):979, 2003.
Bibtex entry  Paper (PS)

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.
Bibtex entry Paper (PS) ©Springer-Verlag

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

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.
Bibtex entry   Paper (PS)   Abstract

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

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.
Bibtex entry  Paper at Springer

U. Sattler. Description Logics for Ontologies. Habilitationsschrift, TU Dresden, 2003.
Paper (PS)

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


2002

F. Baader, I. Horrocks, and U. Sattler. Description Logics for the Semantic Web. KI - Künstliche Intelligenz, 4, 2002.
Bibtex entry

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

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

O. Kupferman, U. Sattler, and M. Y. Vardi. The Complexity of the Graded mu-Calculus. In Proceedings of the Conference on Automated Deduction, 2002.
Bibtex entry  Paper (PS)  ©Springer-Verlag

C. Lutz and U. Sattler. A Proposal for Describing Services with DLs. In Proceedings of the 2002 International Workshop on Description Logics, 2002.
Bibtex entry Abstract Paper

G. Pan, U. Sattler, and M. Y. Vardi. BDD-Based Decision Procedures for K. In Proceedings of the Conference on Automated Deduction, 2002.
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

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

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

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/.
Bibtex entry Abstract Paper

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.
Bibtex entry Abstract Paper

U. Sattler and M. Y. Vardi. The Hybrid mu-Calculus. In R. Goré, A. Leitsch, and T. Nipkow, editors, Proceedings of the International Joint Conference on Automated Reasoning, volume 2083 of LNAI, pages 76-91. Springer Verlag, 2001.
Bibtex entry 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

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

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.
Bibtex entry Abstract Paper ©Oxford University Press

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.
Bibtex entry Abstract Paper ©Springer-Verlag

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

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

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.
Bibtex entry

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/.
Bibtex entry Abstract Paper

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


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

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.
Bibtex entry Paper

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

I. Horrocks and U. Sattler. A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation, 9(3):385-410, 1999.
Bibtex entry Abstract Free reprint ©Oxford University Press

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.
Bibtex entry Abstract Paper

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

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/.
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

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.
Bibtex entry Paper

U. Sattler. Terminological knowledge representation systems in a process engineering application. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
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

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.
Bibtex entry Abstract Paper

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

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

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.
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

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.
Bibtex entry Abstract Paper


home Back to the homepage of the Uli Sattler.