Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ulrike Sattler
Uli Sattler
2010 – today
- 2013
[c127]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics 2013: 144-155- [c126]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler: The Empirical Robustness of Description Logic Classification. Description Logics 2013: 197-208
- [c125]Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens: Finding fault: detecting issues in a versioned ontology. WoDOOM 2013: 9-20
- [c124]Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens: Finding Fault: Detecting Issues in a Versioned Ontology. ESWC (Satellite Events) 2013: 113-124
- [c123]Rafael S. Gonçalves, Bijan Parsia, Uli Sattler: Comparing Ontologies with ecco. International Semantic Web Conference (Posters & Demos) 2013: 49-52
- [c122]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Empirical Study of Logic-Based Modules: Cheap Is Cheerful. International Semantic Web Conference (1) 2013: 84-100
- [c121]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler: The Empirical Robustness of Description Logic Classification. International Semantic Web Conference (Posters & Demos) 2013: 277-280
- 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)
2000 – 2009
- 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)
- [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
- [p1]
- [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)
1990 – 1999
- 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)
Coauthor Index
[c127] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [i7] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [c95] [c93] [c92] [c91] [c90] [i4] [c89] [c88] [c87] [c84] [c83] [c82] [c80] [j19] [c71] [c69] [c68] [c67] [c47] [e7]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:29 CEST by the dblp team