2012
78Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). James P. Delgrande, Thomas Meyer, Ulrike Sattler. Dagstuhl Reports (2): 105-116 (2012). Web SearchBibTeXDownload
2011
77Mooop - A Hybrid Integration of OWL and Java. Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer. CAiSE Workshops 2011, 437-447. Web SearchBibTeXDownload
76Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. CoRR (abs/1111.0049) (2011). Web SearchBibTeXDownload
2010
75Representing Chemicals Using OWL, Description Graphs and Rules. Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz. OWLED 2010. Web SearchBibTeXDownload
2009
74Representing ontologies using description logics, description graphs, and rules. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. Artif. Intell. (173): 1275-1309 (2009). Web SearchBibTeXDownload
73Which Kind of Module Should I Extract?. Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev. Description Logics 2009. Web SearchBibTeXDownload
72Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev. IJCAI 2009, 836-841. Web SearchBibTeXDownload
71Bridging the gap between OWL and relational databases. Boris Motik, Ian Horrocks, Ulrike Sattler. J. Web Sem. (7): 74-89 (2009). Web SearchBibTeXDownload
70Extracting Modules from Ontologies: A Logic-Based Approach. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Modular Ontologies 2009, 159-186. Web SearchBibTeXDownload
69A Solution for the Man-Man Problem in the Family History Knowledge Base. Dmitry Tsarkov, Ulrike Sattler, Robert Stevens. OWLED 2009. Web SearchBibTeXDownload
2008
68Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori. Description Logics 2008. Web SearchBibTeXDownload
67Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2008. Web SearchBibTeXDownload
66Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (31): 157-204 (2008). Web SearchBibTeXDownload
65Modular Reuse of Ontologies: Theory and Practice. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (31): 273-318 (2008). Web SearchBibTeXDownload
64OWL 2: The next step for OWL. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. J. Web Sem. (6): 309-322 (2008). Web SearchBibTeXDownload
63Unions of Conjunctive Queries in SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler. KR 2008, 252-262. Web SearchBibTeXDownload
62Representing Structured Objects using Description Graphs. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. KR 2008, 296-306. Web SearchBibTeXDownload
61Modeling Ontologies using OWL, Description Graphs, and Rules. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler. OWLED 2008. Web SearchBibTeXDownload
2007
60Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. Mikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens. BMC Bioinformatics (8) (2007). Web SearchBibTeXDownload
59Ontology Reuse: Better Safe than Sorry. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. Description Logics 2007. Web SearchBibTeXDownload
58Conjunctive Query Entailment for SHOQ. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2007. Web SearchBibTeXDownload
57Hybrid Logics and Ontology Languages. Ian Horrocks, Birte Glimm, Ulrike Sattler. Electr. Notes Theor. Comput. Sci. (174): 3-14 (2007). Web SearchBibTeXDownload
56Conjunctive Query Answering for the Description Logic SHIQ. Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler. IJCAI 2007, 399-404. Web SearchBibTeXDownload
55A Logical Framework for Modularity of Ontologies. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. IJCAI 2007, 298-303. Web SearchBibTeXDownload
54Using OWL to model biological knowledge. Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector. International Journal of Man-Machine Studies (65): 583-594 (2007). Web SearchBibTeXDownload
53A Tableau Decision Procedure for SHOIQ. Ian Horrocks, Ulrike Sattler. J. Autom. Reasoning (39): 249-276 (2007). Web SearchBibTeXDownload
52Extracting Modules from Ontologies: A Logic-based Approach. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. OWLED 2007. Web SearchBibTeXDownload
51Adding Integrity Constraints to OWL. Boris Motik, Ian Horrocks, Ulrike Sattler. OWLED 2007. Web SearchBibTeXDownload
50Bridging the gap between OWL and relational databases. Boris Motik, Ian Horrocks, Ulrike Sattler. WWW 2007, 807-816. Web SearchBibTeXDownload
49Just the right amount: extracting modules from ontologies. Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. WWW 2007, 717-726. Web SearchBibTeXDownload
2006
48Deciding Semantic Matching of Stateless Services. Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens. AAAI 2006, 1319-1324. Web SearchBibTeXDownload
47Conjunctive Query Answering for Description Logics with Transitive Roles. Birte Glimm, Ian Horrocks, Ulrike Sattler. Description Logics 2006. Web SearchBibTeXDownload
46Will my Ontologies Fit Together?. Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler. Description Logics 2006. Web SearchBibTeXDownload
45Can OWL and Logic Programming Live Together Happily Ever After?. Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler. International Semantic Web Conference 2006, 501-514. Web SearchBibTeXDownload
44BDD-based decision procedures for the modal logic K. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. Journal of Applied Non-Classical Logics (16): 169-208 (2006). Cited by 24Web SearchBibTeXDownload
43The Even More Irresistible SROIQ. Ian Horrocks, Oliver Kutz, Ulrike Sattler. KR 2006, 57-67. Web SearchBibTeXDownload
42A Case for Abductive Reasoning over Ontologies. Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler. OWLED 2006. Web SearchBibTeXDownload
41Next Steps for OWL. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWLED 2006. Web SearchBibTeXDownload
40Reasoning Support for Ontology Design. Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. OWLED 2006. Web SearchBibTeXDownload
2005
39Applying Description Logics for Workflow Reuse and Repurposing. Antoon Goderis, Ulrike Sattler, Carole A. Goble. Description Logics 2005. Cited by 14Web SearchBibTeXDownload
38Integrating Description Logics and Action Formalisms: First Results. Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics 2005. Web SearchBibTeXDownload
37A Tableaux Decision Procedure for SHOIQ. Ian Horrocks, Ulrike Sattler. IJCAI 2005, 448-453. Web SearchBibTeXDownload
36The complexity of finite model reasoning in description logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Inf. Comput. (199): 132-171 (2005). Web SearchBibTeXDownload
35A Little Semantic Web Goes a Long Way in Biology. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens. International Semantic Web Conference 2005, 786-800. Web SearchBibTeXDownload
34Seven Bottlenecks to Workflow Reuse and Repurposing. Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble. International Semantic Web Conference 2005, 323-337. Cited by 31Web SearchBibTeXDownload
33Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. J. Artif. Intell. Res. (JAIR) (23): 667-726 (2005). Web SearchBibTeXDownload
32Query Answering for OWL-DL with rules. Boris Motik, Ulrike Sattler, Rudi Studer. J. Web Sem. (3): 41-60 (2005). Web SearchBibTeXDownload
31Description Logics as Ontology Languages for the Semantic Web. Franz Baader, Ian Horrocks, Ulrike Sattler. Mechanizing Mathematical Reasoning 2005, 228-248. Web SearchBibTeXDownload
30The Irresistible SRIQ. Ian Horrocks, Oliver Kutz, Ulrike Sattler. OWLED 2005. Web SearchBibTeXDownload
2004
29Decidability of SHIQ with complex role inclusion axioms. Ian Horrocks, Ulrike Sattler. Artif. Intell. (160): 79-104 (2004). Web SearchBibTeXDownload
28Description Logics. Franz Baader, Ian Horrocks, Ulrike Sattler. Handbook on Ontologies 2004, 3-28. Web SearchBibTeX
27Query Answering for OWL-DL with Rules. Boris Motik, Ulrike Sattler, Rudi Studer. International Semantic Web Conference 2004, 549-563. Web SearchBibTeXDownload
2003
26The Complexity of Finite Model Reasoning in Description Logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. CADE 2003, 60-74. Web SearchBibTeXDownload
25Relationships with other Formalisms. Ulrike Sattler, Diego Calvanese, Ralf Molitor. Description Logic Handbook 2003, 137-177. Web SearchBibTeX
24Finite Model Reasoning in ALCQI is EXPTIME Logics. Carsten Lutz, Ulrike Sattler, Lidia Tendera. Description Logics 2003. Web SearchBibTeXDownload
23Keys, Nominals, and Concrete Domains. Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler. IJCAI 2003, 349-354. Web SearchBibTeX
22Decidability of SHIQ with Complex Role Inclusion Axioms. Ian Horrocks, Ulrike Sattler. IJCAI 2003, 343-348. Web SearchBibTeX
2002
21The Complexity of the Graded µ-Calculus. Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi. CADE 2002, 423-437. Cited by 31Web SearchBibTeXDownload
20BDD-Based Decision Procedures for K. Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi. CADE 2002, 16-30. Cited by 47Web SearchBibTeXDownload
19Optimised Reasoning for SHIQ. Ian Horrocks, Ulrike Sattler. ECAI 2002, 277-281. Web SearchBibTeX
18Description Logics for the Semantic Web. Franz Baader, Ian Horrocks, Ulrike Sattler. KI (16): 57-59 (2002). Web SearchBibTeX
2001
17Modal Logic and the Two-Variable Fragment. Carsten Lutz, Ulrike Sattler, Frank Wolter. CSL 2001, 247-261. Web SearchBibTeXDownload
16Description Logics and the Two-Variable Fragment. Carsten Lutz, Ulrike Sattler, Frank Wolter. Description Logics 2001. Web SearchBibTeXDownload
15Ontology Reasoning in the SHOQ(D) Description Logic. Ian Horrocks, Ulrike Sattler. IJCAI 2001, 199-204. Web SearchBibTeX
14The Hybrid µ-Calculus. Ulrike Sattler, Moshe Y. Vardi. IJCAR 2001, 76-91. Cited by 46Web SearchBibTeXDownload
2000
13The Complexity of Reasoning with Boolean Modal Logics. Carsten Lutz, Ulrike Sattler. Advances in Modal Logic 2000, 329-348. Web SearchBibTeX
12Reasoning with Individuals for the Description Logic SHIQ. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CADE 2000, 482-496. Web SearchBibTeXDownload
11Practical Reasoning for Very Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CoRR (cs.LO/0005013) (2000). Web SearchBibTeXDownload
10Practical Reasoning for Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. CoRR (cs.LO/0005014) (2000). Web SearchBibTeXDownload
9Mary Likes all Cats. Carsten Lutz, Ulrike Sattler. Description Logics 2000, 213-226. Web SearchBibTeXDownload
8How to decide Query Containment under Constraints using a Description Logic. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. KRDB 2000, 59-72. Web SearchBibTeXDownload
7How to Decide Query Containment Under Constraints Using a Description Logic. Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies. LPAR 2000, 326-343. Web SearchBibTeXDownload
1999
6A Suggestion for an n-ary Description Logic. Carsten Lutz, Ulrike Sattler, Stephan Tobies. Description Logics 1999. Web SearchBibTeXDownload
5A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. Enrico Franconi, Ulrike Sattler. DMDW 1999, 13. Web SearchBibTeXDownload
4A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Ian Horrocks, Ulrike Sattler. J. Log. Comput. (9): 385-410 (1999). Web SearchBibTeXDownload
3Practical Reasoning for Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies. LPAR 1999, 161-180. Web SearchBibTeXDownload
1998
2A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Ian Horrocks, Ulrike Sattler. Description Logics 1998. Web SearchBibTeXDownload
1Modeling multidimensional database: a formal object-oriented approach. Mohand-Said Hacid, Ulrike Sattler. ECIS 1998, 247-259. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research