Ulrike Sattler Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari: Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010)
2009
126no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatherine Dolbear, Alan Ruttenberg, Ulrike Sattler: Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008 CEUR-WS.org 2009
125no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler: Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 CEUR-WS.org 2009
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohannes Bauer, Ulrike Sattler, Bijan Parsia: Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Bijan Parsia, Ulrike Sattler: Lemmas for Justifications in OWL. Description Logics 2009
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Klinov, Bijan Parsia, Ulrike Sattler: On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDmitry Tsarkov, Ulrike Sattler, Robert Stevens: A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Bijan Parsia, Ulrike Sattler: From Justifications to Proofs for Entailments in OWL. OWLED 2009
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBijan Parsia, Ulrike Sattler, Thomas Schneider: Mechanisms for Importing Modules. OWLED 2009
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJasmin Opitz, Bijan Parsia, Ulrike Sattler: Using Ontologies for Medical Image Retrieval - An Experiment. OWLED 2009
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Bijan Parsia, Ulrike Sattler: Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
2008
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeihong Ke, Ulrike Sattler: Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics 2008
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics 2008
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC 2008: 185-199
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Bijan Parsia, Ulrike Sattler: Laconic and Precise Justifications in OWL. International Semantic Web Conference 2008: 323-338
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Bijan Parsia, Ulrike Sattler: Explanation of OWL Entailments in Protege 4. International Semantic Web Conference (Posters & Demos) 2008
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBijan Parsia, Ulrike Sattler, Thomas Schneider: Easy Keys for OWL. OWLED 2008
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler: Understanding Entailments in OWL. OWLED 2008
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler: Structured objects in owl: representation and reasoning. WWW 2008: 555-564
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)
2007
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgeny Kazakov, Ulrike Sattler, Evgeny Zolin: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler: Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens: Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. BMC Bioinformatics 8: (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector: Using OWL to model biological knowledge. International Journal of Man-Machine Studies 65(7): 583-594 (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
2006
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBijan Parsia, Ulrike Sattler, David Toman: Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 CEUR-WS.org 2006
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Springer 2006
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorinna Elsenbroich, Oliver Kutz, Ulrike Sattler: A Case for Abductive Reasoning over Ontologies. OWLED 2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics 16(1-2): 169-208 (2006)
2005
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Frank Wolter: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 CEUR-WS.org 2005
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoon Goderis, Ulrike Sattler, Carole A. Goble: Applying Description Logics for Workflow Reuse and Repurposing. Description Logics 2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble: Seven Bottlenecks to Workflow Reuse and Repurposing. International Semantic Web Conference 2005: 323-337
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaty Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens: A Little Semantic Web Goes a Long Way in Biology. International Semantic Web Conference 2005: 786-800
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Lidia Tendera: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005)
2004
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR-WS.org 2004
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUllrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)
2003
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop: Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 CEUR-WS.org 2003
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Lidia Tendera: The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Hladik, Ulrike Sattler: A Translation of Looping Alternating Automata into Description Logics. CADE 2003: 90-105
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler, Diego Calvanese, Ralf Molitor: Relationships with other Formalisms. Description Logic Handbook 2003: 137-177
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Lidia Tendera: Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
2002
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOrna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Optimised Reasoning for SHIQ. ECAI 2002: 277-281
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Demri, Ulrike Sattler: Automata-Theoretic Decision Procedures for Information Logics. Fundam. Inform. 53(1): 1-22 (2002)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
2001
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler, Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001: 76-91
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001)
2000
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMokrane Bouzeghoub, Matthias Klusch, Werner Nutt, Ulrike Sattler: Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 CEUR-WS.org 2000
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 CEUR-WS.org 2000
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler: The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler: Mary Likes all Cats. Description Logics 2000: 213-226
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler: Description Logics for the Representation of Aggregated Objects. ECAI 2000: 239-243
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics CoRR cs.LO/0005013: (2000)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics CoRR cs.LO/0005014: (2000)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ CoRR cs.LO/0005017: (2000)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): (2000)
1999
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Franconi, Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)
1998
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340
1997
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997
1996
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrike Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. KI 1996: 333-345
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Bergeron, Ulrike Sattler: Constructible Differentially Finite Algebraic Series in Several Variables. Theor. Comput. Sci. 144(1&2): 59-65 (1995)

Coauthor Index

1Mikel Egaña Aranguren (Mikel Egaña) [79] [81]
2Carlos Areces [38] [53]
3Franz Baader [2] [4] [5] [6] [7] [8] [11] [25] [27] [32] [37] [46] [56] [61] [63] [66] [86] [91]
4Pedro Barahona [75]
5Johannes Bauer [99] [124]
6Sean Bechhofer [81]
7François Bergeron [1]
8Mokrane Bouzeghoub [26]
9Andrey Bovykin [74]
10Andy Brass [57]
11François Bry (François Bry-Haußer) [44] [75]
12Diego Calvanese [41]
13Stéphane Demri [33]
14Catherine Dolbear [126]
15Nick Drummond [79]
16Corinna Elsenbroich [68]
17Enrico Franconi [14] [66] [75]
18Bernhard Ganter [86] [91]
19Francis Gasse [109]
20Silvio Ghilardi [127]
21Birte Glimm [73] [80] [89] [93] [96] [103] [111]
22Carole A. Goble [58] [62]
23Antoon Goderis [58] [62]
24Bernardo Cuenca Grau [67] [72] [83] [85] [90] [92] [94] [95] [98] [100] [102] [106] [107] [108] [113] [114] [125]
25Volker Haarslev [109]
26Nicola Henze [75]
27Jan Hladik [42]
28Matthew Horridge [79] [99] [104] [105] [115] [118] [123]
29Ian Horrocks [9] [10] [12] [15] [16] [17] [18] [19] [20] [23] [29] [32] [34] [38] [39] [45] [46] [53] [55] [56] [57] [60] [64] [67] [70] [71] [72] [73] [74] [78] [80] [82] [83] [85] [87] [89] [90] [92] [93] [94] [95] [96] [100] [102] [103] [111] [112] [113] [114] [125]
30Duncan Hull [74]
31Ullrich Hustadt [47] [48] [50] [59] [77] [97]
32Ernesto Jiménez-Ruiz [106] [108]
33Yevgeny Kazakov [83] [85] [88] [90] [92] [95] [114]
34Peihong Ke [110]
35Pavel Klinov [122]
36Matthias Klusch [26]
37Roman Kontchakov [120]
38Orna Kupferman [35]
39Oliver Kutz [55] [68] [70] [72]
40Domenico Lembo [66]
41Rafael Berlanga Llavori [106] [108]
42Phillip W. Lord [57] [58] [81]
43Carsten Lutz [13] [22] [24] [30] [31] [38] [40] [43] [44] [53] [54] [61] [63] [66] [89] [96]
44Maja Milicic [61] [63]
45Ralf Molitor [41]
46Ralf Möller [66]
47Boris Motik [47] [48] [49] [50] [52] [59] [69] [71] [77] [82] [87] [94] [97] [98] [100] [102] [107] [112] [113] [125]
48Werner Nutt [26]
49Jasmin Opitz [116]
50Guoqiang Pan [36] [65]
51Bijan Parsia [67] [76] [94] [99] [101] [104] [105] [115] [116] [117] [118] [122] [123] [124]
52Peter F. Patel-Schneider [67] [94]
53Luca Pulina [120]
54Alan L. Rector [79]
55Riccardo Rosati [66] [71]
56Alan Ruttenberg [126]
57Thomas Schneider [101] [106] [108] [117] [120] [121]
58Mareike Schoop [44]
59Petra Selmer [120]
60Baris Sertkaya [86] [91]
61Viorica Sofronie-Stokkermans (Viorica Sofronie) [127]
62Robert Stevens (Robert D. Stevens) [57] [74] [79] [81] [119]
63Rudi Studer [49] [52]
64Boontawee Suntisrivaraporn [66]
65Lidia Tendera [40] [43] [54]
66Sergio Tessaris [19] [20] [66]
67Ashish Tiwari [127]
68Stephan Tobies [12] [13] [15] [16] [17] [18] [19] [20] [23]
69David Toman [76]
70Dmitry Tsarkov [119]
71Daniele Turi [57]
72Moshe Y. Vardi [28] [35] [36] [65]
73Katy Wolstencroft (Katherine Wolstencroft) [57] [79]
74Frank Wolter [30] [31] [61] [63] [64] [120]
75Michael Zakharyaschev [120] [121]
76Evgeny Zolin [74] [88]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)