| 2009 |
|---|
| 109 | | Catherine 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 |
| 2008 |
|---|
| 108 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
Description Logics 2008 |
| 107 | EE | Peihong Ke,
Ulrike Sattler:
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.
Description Logics 2008 |
| 106 | EE | Francis Gasse,
Ulrike Sattler,
Volker Haarslev:
Rewriting Rules into SROIQ Axioms.
Description Logics 2008 |
| 105 | EE | 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 |
| 104 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs.
Description Logics 2008 |
| 103 | EE | 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 |
| 102 | EE | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Laconic and Precise Justifications in OWL.
International Semantic Web Conference 2008: 323-338 |
| 101 | EE | Matthew Horridge,
Bijan Parsia,
Ulrike Sattler:
Explanation of OWL Entailments in Protege 4.
International Semantic Web Conference (Posters & Demos) 2008 |
| 100 | | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ.
KR 2008: 252-262 |
| 99 | | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Representing Structured Objects using Description Graphs.
KR 2008: 296-306 |
| 98 | EE | Bijan Parsia,
Ulrike Sattler,
Thomas Schneider:
Easy Keys for OWL.
OWLED 2008 |
| 97 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ian Horrocks,
Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules.
OWLED 2008 |
| 96 | EE | Matthew Horridge,
Johannes Bauer,
Bijan Parsia,
Ulrike Sattler:
Understanding Entailments in OWL.
OWLED 2008 |
| 95 | EE | Boris Motik,
Bernardo Cuenca Grau,
Ulrike Sattler:
Structured objects in owl: representation and reasoning.
WWW 2008: 555-564 |
| 94 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Deciding expressive description logics in the framework of resolution.
Inf. Comput. 206(5): 579-601 (2008) |
| 93 | EE | 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) |
| 2007 |
|---|
| 92 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Entailment for SHOQ.
Description Logics 2007 |
| 91 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry.
Description Logics 2007 |
| 90 | EE | Franz Baader,
Bernhard Ganter,
Baris Sertkaya,
Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis.
IJCAI 2007: 230-235 |
| 89 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
A Logical Framework for Modularity of Ontologies.
IJCAI 2007: 298-303 |
| 88 | EE | Birte Glimm,
Ian Horrocks,
Carsten Lutz,
Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ.
IJCAI 2007: 399-404 |
| 87 | EE | Yevgeny Kazakov,
Ulrike Sattler,
Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.
LPAR 2007: 303-317 |
| 86 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Adding Integrity Constraints to OWL.
OWLED 2007 |
| 85 | EE | Franz Baader,
Bernhard Ganter,
Ulrike Sattler,
Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis.
OWLED 2007 |
| 84 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach.
OWLED 2007 |
| 83 | EE | Ulrike Sattler:
Reasoning in Description Logics: Basics, Extensions, and Relatives.
Reasoning Web 2007: 154-182 |
| 82 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Yevgeny Kazakov,
Ulrike Sattler:
Just the right amount: extracting modules from ontologies.
WWW 2007: 717-726 |
| 81 | EE | Boris Motik,
Ian Horrocks,
Ulrike Sattler:
Bridging the gap between OWL and relational databases.
WWW 2007: 807-816 |
| 80 | EE | Ian Horrocks,
Birte Glimm,
Ulrike Sattler:
Hybrid Logics and Ontology Languages.
Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007) |
| 79 | EE | 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) |
| 78 | EE | Ian Horrocks,
Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ.
J. Autom. Reasoning 39(3): 249-276 (2007) |
| 77 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
J. Autom. Reasoning 39(3): 351-384 (2007) |
| 2006 |
|---|
| 76 | | Bijan 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 |
| 75 | | Pedro 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 |
| 74 | | Duncan Hull,
Evgeny Zolin,
Andrey Bovykin,
Ian Horrocks,
Ulrike Sattler,
Robert Stevens:
Deciding Semantic Matching of Stateless Services.
AAAI 2006 |
| 73 | EE | Birte Glimm,
Ian Horrocks,
Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles.
Description Logics 2006 |
| 72 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
Will my Ontologies Fit Together?
Description Logics 2006 |
| 71 | EE | 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 |
| 70 | | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Even More Irresistible SROIQ.
KR 2006: 57-67 |
| 69 | EE | Boris Motik,
Ulrike Sattler:
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes.
LPAR 2006: 227-241 |
| 68 | EE | Corinna Elsenbroich,
Oliver Kutz,
Ulrike Sattler:
A Case for Abductive Reasoning over Ontologies.
OWLED 2006 |
| 67 | EE | Bernardo Cuenca Grau,
Ian Horrocks,
Bijan Parsia,
Peter F. Patel-Schneider,
Ulrike Sattler:
Next Steps for OWL.
OWLED 2006 |
| 66 | EE | 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 |
| 65 | | 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) |
| 2005 |
|---|
| 64 | | Ian 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 |
| 63 | | Franz Baader,
Carsten Lutz,
Maja Milicic,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
AAAI 2005: 572-577 |
| 62 | EE | Antoon Goderis,
Ulrike Sattler,
Carole A. Goble:
Applying Description Logics for Workflow Reuse and Repurposing.
Description Logics 2005 |
| 61 | EE | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
| 60 | EE | Ian Horrocks,
Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ.
IJCAI 2005: 448-453 |
| 59 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics.
IJCAI 2005: 466-471 |
| 58 | EE | Antoon Goderis,
Ulrike Sattler,
Phillip W. Lord,
Carole A. Goble:
Seven Bottlenecks to Workflow Reuse and Repurposing.
International Semantic Web Conference 2005: 323-337 |
| 57 | EE | 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 |
| 56 | EE | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web.
Mechanizing Mathematical Reasoning 2005: 228-248 |
| 55 | EE | Ian Horrocks,
Oliver Kutz,
Ulrike Sattler:
The Irresistible SRIQ.
OWLED 2005 |
| 54 | EE | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The complexity of finite model reasoning in description logics.
Inf. Comput. 199(1-2): 132-171 (2005) |
| 53 | EE | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005) |
| 52 | EE | Boris Motik,
Ulrike Sattler,
Rudi Studer:
Query Answering for OWL-DL with rules.
J. Web Sem. 3(1): 41-60 (2005) |
| 2004 |
|---|
| 51 | | Ulrike 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 |
| 50 | | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.
ECAI 2004: 353-357 |
| 49 | EE | Boris Motik,
Ulrike Sattler,
Rudi Studer:
Query Answering for OWL-DL with Rules.
International Semantic Web Conference 2004: 549-563 |
| 48 | | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
KR 2004: 152-162 |
| 47 | EE | Ullrich Hustadt,
Boris Motik,
Ulrike Sattler:
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
LPAR 2004: 21-35 |
| 46 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics.
Handbook on Ontologies 2004: 3-28 |
| 45 | EE | Ian Horrocks,
Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms.
Artif. Intell. 160(1-2): 79-104 (2004) |
| 2003 |
|---|
| 44 | | Franç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 |
| 43 | EE | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
The Complexity of Finite Model Reasoning in Description Logics.
CADE 2003: 60-74 |
| 42 | EE | Jan Hladik,
Ulrike Sattler:
A Translation of Looping Alternating Automata into Description Logics.
CADE 2003: 90-105 |
| 41 | | Ulrike Sattler,
Diego Calvanese,
Ralf Molitor:
Relationships with other Formalisms.
Description Logic Handbook 2003: 137-177 |
| 40 | EE | Carsten Lutz,
Ulrike Sattler,
Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics.
Description Logics 2003 |
| 39 | | Ian Horrocks,
Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms.
IJCAI 2003: 343-348 |
| 38 | | Carsten Lutz,
Carlos Areces,
Ian Horrocks,
Ulrike Sattler:
Keys, Nominals, and Concrete Domains.
IJCAI 2003: 349-354 |
| 37 | EE | Franz Baader,
Ulrike Sattler:
Description logics with aggregates and concrete domains.
Inf. Syst. 28(8): 979-1004 (2003) |
| 2002 |
|---|
| 36 | EE | Guoqiang Pan,
Ulrike Sattler,
Moshe Y. Vardi:
BDD-Based Decision Procedures for K.
CADE 2002: 16-30 |
| 35 | EE | Orna Kupferman,
Ulrike Sattler,
Moshe Y. Vardi:
The Complexity of the Graded µ-Calculus.
CADE 2002: 423-437 |
| 34 | | Ian Horrocks,
Ulrike Sattler:
Optimised Reasoning for SHIQ.
ECAI 2002: 277-281 |
| 33 | EE | Stéphane Demri,
Ulrike Sattler:
Automata-Theoretic Decision Procedures for Information Logics.
Fundam. Inform. 53(1): 1-22 (2002) |
| 32 | | Franz Baader,
Ian Horrocks,
Ulrike Sattler:
Description Logics for the Semantic Web.
KI 16(4): 57-59 (2002) |
| 2001 |
|---|
| 31 | EE | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Modal Logic and the Two-Variable Fragment.
CSL 2001: 247-261 |
| 30 | EE | Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Description Logics and the Two-Variable Fragment.
Description Logics 2001 |
| 29 | | Ian Horrocks,
Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic.
IJCAI 2001: 199-204 |
| 28 | EE | Ulrike Sattler,
Moshe Y. Vardi:
The Hybrid µ-Calculus.
IJCAR 2001: 76-91 |
| 27 | | Franz Baader,
Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics.
Studia Logica 69(1): 5-40 (2001) |
| 2000 |
|---|
| 26 | | Mokrane 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 |
| 25 | | Franz Baader,
Ulrike Sattler:
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000
CEUR-WS.org 2000 |
| 24 | | Carsten Lutz,
Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics.
Advances in Modal Logic 2000: 329-348 |
| 23 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ.
CADE 2000: 482-496 |
| 22 | EE | Carsten Lutz,
Ulrike Sattler:
Mary Likes all Cats.
Description Logics 2000: 213-226 |
| 21 | | Ulrike Sattler:
Description Logics for the Representation of Aggregated Objects.
ECAI 2000: 239-243 |
| 20 | EE | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic.
KRDB 2000: 59-72 |
| 19 | EE | Ian Horrocks,
Ulrike Sattler,
Sergio Tessaris,
Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic.
LPAR 2000: 326-343 |
| 18 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics
CoRR cs.LO/0005013: (2000) |
| 17 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics
CoRR cs.LO/0005014: (2000) |
| 16 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ
CoRR cs.LO/0005017: (2000) |
| 15 | EE | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics.
Logic Journal of the IGPL 8(3): (2000) |
| 1999 |
|---|
| 14 | EE | Enrico Franconi,
Ulrike Sattler:
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation.
DMDW 1999: 13 |
| 13 | EE | Carsten Lutz,
Ulrike Sattler,
Stephan Tobies:
A Suggestion for an n-ary Description Logic.
Description Logics 1999 |
| 12 | | Ian Horrocks,
Ulrike Sattler,
Stephan Tobies:
Practical Reasoning for Expressive Description Logics.
LPAR 1999: 161-180 |
| 11 | EE | Franz Baader,
Ulrike Sattler:
Expressive Number Restrictions in Description Logics.
J. Log. Comput. 9(3): 319-350 (1999) |
| 10 | EE | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
J. Log. Comput. 9(3): 385-410 (1999) |
| 1998 |
|---|
| 9 | EE | Ian Horrocks,
Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies.
Description Logics 1998 |
| 8 | | Franz Baader,
Ulrike Sattler:
Description Logics with Concrete Domains and Aggregation.
ECAI 1998: 336-340 |
| 1997 |
|---|
| 7 | EE | Franz Baader,
Ulrike Sattler:
Description Logics with Aggregates and Concrete Domains.
Description Logics 1997 |
| 1996 |
|---|
| 6 | | Franz Baader,
Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
Description Logics 1996: 3-14 |
| 5 | | Franz Baader,
Ulrike Sattler:
Knowledge Representation in Process Engineering.
Description Logics 1996: 74-78 |
| 4 | | Franz Baader,
Ulrike Sattler:
Description Logics with Symbolic Number Restrictions.
ECAI 1996: 283-287 |
| 3 | | Ulrike Sattler:
A Concept Language Extended with Different Kinds of Transitive Roles.
KI 1996: 333-345 |
| 2 | | Franz Baader,
Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
KR 1996: 328-339 |
| 1995 |
|---|
| 1 | EE | François Bergeron,
Ulrike Sattler:
Constructible Differentially Finite Algebraic Series in Several Variables.
Theor. Comput. Sci. 144(1&2): 59-65 (1995) |
