Uli Sattler
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c120 |      | Samantha Bail, Bijan Parsia, Ulrike Sattler: Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics 2012 |
| c119 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Concept-Based Semantic Difference in Expressive Description Logics. Description Logics 2012 |
| c118 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler: Logical Relevance in Ontologies. Description Logics 2012 |
| c117 | | Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens: Representation of Part-Whole Relationships in SNOMED CT. ICBO 2012 |
| c116 | | |
| c115 | | Tahani Alsubait, Bijan Parsia, Ulrike Sattler: Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED 2012 |
| c114 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED 2012 |
| c113 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. International Semantic Web Conference (1) 2012: 82-98 |
| c112 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Concept-Based Semantic Difference in Expressive Description Logics. International Semantic Web Conference (1) 2012: 99-115 |
| c111 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Extracting Justifications from BioPortal Ontologies. International Semantic Web Conference (2) 2012: 287-299 |
| c110 | | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO 2012 |
| e12 | | Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Lecture Notes in Computer Science 7364, Springer 2012, isbn 978-3-642-31364-6 |
| i7 | | Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR abs/1207.1641 (2012) |
| i6 | | James P. Delgrande, Thomas Meyer, Ulrike Sattler: Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports 2(10): 105-116 (2012) |
| 2011 | ||
| c109 | | Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer: Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops 2011: 437-447 |
| c108 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Analysing the evolution of the NCI Thesaurus. CBMS 2011: 1-6 |
| c107 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Categorising logical differences between OWL ontologies. CIKM 2011: 1541-1546 |
| c106 | | Samantha Bail, Bijan Parsia, Ulrike Sattler: Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics 2011 |
| c105 | | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics 2011 |
| c104 | | Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler: The Cognitive Complexity of OWL Justifications. Description Logics 2011 |
| c103 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler: Topicality in Logic-Based Ontologies. ICCS 2011: 187-200 |
| c102 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider: The Modular Structure of an Ontology: Atomic Decomposition. IJCAI 2011: 2232-2237 |
| c101 | | Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler: The Justificatory Structure of the NCBO BioPortal Ontologies. International Semantic Web Conference (1) 2011: 67-82 |
| c100 | | Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget: Decomposition and Modular Structure of BioPortal Ontologies. International Semantic Web Conference (1) 2011: 130-145 |
| c99 | | Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler: The Cognitive Complexity of OWL Justifications. International Semantic Web Conference (1) 2011: 241-256 |
| c98 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider: The Modular Structure of an Ontology: Atomic Decomposition and Module Count. WoMO 2011: 25-39 |
| i5 | | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011) |
| 2010 | ||
| j25 | | Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari: Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) |
| c97 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Justification Masking in OWL. Description Logics 2010 |
| c96 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider: The modular structure of an ontology: an empirical study. Description Logics 2010 |
| c95 | | Samantha Bail, Bijan Parsia, Ulrike Sattler: The Justificatory Structure of OWL Ontologies. OWLED 2010 |
| c94 | | Janna Hastings, Michel Dumontier, Duncan Hull, Matthew Horridge, Christoph Steinbeck, Robert Stevens, Ulrike Sattler, Tertia Hörne, Katarina Britz: Representing Chemicals Using OWL, Description Graphs and Rules. OWLED 2010 |
| c93 | | Samantha Bail, Bijan Parsia, Ulrike Sattler: JustBench: A Framework for OWL Benchmarking. International Semantic Web Conference (1) 2010: 32-47 |
| c92 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Justification Oriented Proofs in OWL. International Semantic Web Conference (1) 2010: 354-369 |
| c91 | | Jasmin Opitz, Bijan Parsia, Ulrike Sattler: Evaluating Modelling Approaches for Medical Image Annotations. SWAT4LS 2010 |
| c90 | | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider: The modular structure of an ontology: an empirical study. WoMO 2010: 11-24 |
| e11 |  | Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (Eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press 2010 |
| i4 | | Jasmin Opitz, Bijan Parsia, Ulrike Sattler: Evaluating Modelling Approaches for Medical Image Annotations. CoRR abs/1012.1882 (2010) |
| 2009 | ||
| j24 | | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009) |
| j23 | | Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009) |
| c89 | | Johannes Bauer, Ulrike Sattler, Bijan Parsia: Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009 |
| c88 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Lemmas for Justifications in OWL. Description Logics 2009 |
| c87 | | Pavel Klinov, Bijan Parsia, Ulrike Sattler: On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009 |
| c86 | | Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009 |
| c85 | | Roman 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 |
| c84 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: From Justifications to Proofs for Entailments in OWL. OWLED 2009 |
| c83 | | Jasmin Opitz, Bijan Parsia, Ulrike Sattler: Using Ontologies for Medical Image Retrieval - An Experiment. OWLED 2009 |
| c82 | | |
| c81 | | Dmitry Tsarkov, Ulrike Sattler, Robert Stevens: A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009 |
| c80 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137 |
| p2 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186 |
| e10 | | Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009 |
| e9 | | Catherine Dolbear, Alan Ruttenberg, Ulrike Sattler (Eds.): 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 Workshop Proceedings 432, CEUR-WS.org 2009 |
| 2008 | ||
| j22 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008) |
| j21 | | Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008) |
| j20 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008) |
| j19 | | Bernardo 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) |
| c79 | | Francis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008 |
| c78 | | Birte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008 |
| c77 | | Ernesto 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 |
| c76 | | Peihong Ke, Ulrike Sattler: Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics 2008 |
| c75 | | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008 |
| c74 | | Ernesto 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 |
| c73 | | |
| c72 | | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306 |
| c71 | | Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler: Understanding Entailments in OWL. OWLED 2008 |
| c70 | | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 |
| c69 | | |
| c68 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Laconic and Precise Justifications in OWL. International Semantic Web Conference 2008: 323-338 |
| c67 | | Matthew Horridge, Bijan Parsia, Ulrike Sattler: Explanation of OWL Entailments in Protege 4. International Semantic Web Conference (Posters & Demos) 2008 |
| c66 | | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: Structured objects in owl: representation and reasoning. WWW 2008: 555-564 |
| e8 | | Ulrike Sattler, Andrei Tamilin (Eds.): Proceedings of the Workshop on Ontologies: Reasoning and Modularity, WoMO 2008, Tenerife, Spain, June 2, 2008. CEUR Workshop Proceedings 348, CEUR-WS.org 2008 |
| 2007 | ||
| j18 | | Mikel 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) |
| j17 | | Ian Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007) |
| j16 | | Robert 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) |
| j15 | | Ian Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007) |
| j14 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007) |
| c65 | | Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007 |
| c64 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007 |
| c63 | | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235 |
| c62 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303 |
| c61 | | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404 |
| c60 | | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317 |
| c59 | | Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007 |
| c58 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007 |
| c57 | | |
| c56 | | Ulrike Sattler: Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182 |
| c55 | | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726 |
| c54 | | Boris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816 |
| 2006 | ||
| j13 | | Guoqiang 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) |
| c53 | | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324 |
| c52 | | Birte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006 |
| c51 | | Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006 |
| c50 | | |
| c49 | | Boris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241 |
| c48 | | Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler: A Case for Abductive Reasoning over Ontologies. OWLED 2006 |
| c47 | | Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006 |
| c46 | | Carsten 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 |
| c45 | | Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514 |
| e7 | | Bijan Parsia, Ulrike Sattler, David Toman (Eds.): Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. CEUR Workshop Proceedings 189, CEUR-WS.org 2006 |
| e6 | | Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, isbn 3-540-38409-X |
| 2005 | ||
| j12 | | Carsten Lutz, Ulrike Sattler, Lidia Tendera: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005) |
| j11 | | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005) |
| j10 | | Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005) |
| c44 | | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577 |
| c43 | | Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248 |
| c42 | | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005 |
| c41 | | Antoon Goderis, Ulrike Sattler, Carole A. Goble: Applying Description Logics for Workflow Reuse and Repurposing. Description Logics 2005 |
| c40 | | |
| c39 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471 |
| c38 | | |
| c37 | | Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble: Seven Bottlenecks to Workflow Reuse and Repurposing. International Semantic Web Conference 2005: 323-337 |
| c36 | | Katy 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 |
| e5 | | Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.): Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. CEUR Workshop Proceedings 147, CEUR-WS.org 2005 |
| 2004 | ||
| j9 | | Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004) |
| p1 | | |
| c35 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357 |
| c34 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162 |
| c33 | | Ullrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35 |
| c32 | | Boris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563 |
| e4 | | Ulrike Sattler (Ed.): Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR Workshop Proceedings 106, CEUR-WS.org 2004 |
| 2003 | ||
| j8 | | Franz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003) |
| c31 | | Carsten Lutz, Ulrike Sattler, Lidia Tendera: The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74 |
| c30 | | Jan Hladik, Ulrike Sattler: A Translation of Looping Alternating Automata into Description Logics. CADE 2003: 90-105 |
| c29 | | Carsten Lutz, Ulrike Sattler, Lidia Tendera: Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003 |
| c28 | | Ulrike Sattler, Diego Calvanese, Ralf Molitor: Relationships with other Formalisms. Description Logic Handbook 2003: 137-177 |
| c27 | | Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348 |
| c26 | | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 |
| e3 | | François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop (Eds.): Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003. CEUR Workshop Proceedings 79, CEUR-WS.org 2003 |
| 2002 | ||
| j7 | | Stéphane Demri, Ulrike Sattler: Automata-Theoretic Decision Procedures for Information Logics. Fundam. Inform. 53(1): 1-22 (2002) |
| j6 | | Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002) |
| c25 | | |
| c24 | | Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437 |
| c23 | | |
| 2001 | ||
| j5 | | Franz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001) |
| c22 | | |
| c21 | | Carsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261 |
| c20 | | Carsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001 |
| c19 | | Ian Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204 |
| 2000 | ||
| j4 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): 239-263 (2000) |
| c18 | | Carsten Lutz, Ulrike Sattler: The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348 |
| c17 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496 |
| c16 | | |
| c15 | | |
| c14 | | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72 |
| c13 | | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343 |
| e2 | | Franz Baader, Ulrike Sattler (Eds.): Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. CEUR Workshop Proceedings 33, CEUR-WS.org 2000 |
| e1 | | Mokrane Bouzeghoub, Matthias Klusch, Werner Nutt, Ulrike Sattler (Eds.): Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000. CEUR Workshop Proceedings 29, CEUR-WS.org 2000 |
| i3 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000) |
| i2 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000) |
| i1 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000) |
| 1999 | ||
| j3 | | Franz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999) |
| j2 | | Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999) |
| c12 | | Carsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999 |
| c11 | | Enrico Franconi, Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13 |
| c10 | | Ian Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180 |
| 1998 | ||
| b1 | | Ulrike Sattler: Terminological knowledge representation systems in a process engineering application. RWTH Aachen 1998, pp. I-III, 1-147 |
| c9 | | Ian Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998 |
| c8 | | Franz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340 |
| c7 | | Mohand-Said Hacid, Ulrike Sattler: Modeling multidimensional database: a formal object-oriented approach. ECIS 1998: 247-259 |
| 1997 | ||
| c6 | | Franz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997 |
| 1996 | ||
| c5 | | Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14 |
| c4 | | Franz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78 |
| c3 | | Franz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287 |
| c2 | | Ulrike Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. KI 1996: 333-345 |
| c1 | | Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339 |
| 1995 | ||
| j1 | | François Bergeron, Ulrike Sattler: Constructible Differentially Finite Algebraic Series in Several Variables. Theor. Comput. Sci. 144(1&2): 59-65 (1995) |
Colors in the list of coauthors
Last update Mon May 20 00:53:21 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page