default search action
Ulrike Sattler
- > Home > Persons > Ulrike Sattler
Publications
- 2017
- [b2]Franz Baader, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
An Introduction to Description Logic. Cambridge University Press 2017, ISBN 978-0-521-69542-8, pp. 1-255 - 2011
- [i5]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011) - 2009
- [j23]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) - [j22]Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. J. Web Semant. 7(2): 74-89 (2009) - [p5]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2009: 21-43 - [p4]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:
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 [contents] - 2008
- [j20]Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31: 157-204 (2008) - [j19]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. 31: 273-318 (2008) - [j18]Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
OWL 2: The next step for OWL. J. Web Semant. 6(4): 309-322 (2008) - [c80]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008 - [c75]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262 - [c74]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs. KR 2008: 296-306 - [c71]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 - [r1]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook of Knowledge Representation 2008: 135-179 - 2007
- [j15]Ian Horrocks, Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ. J. Autom. Reason. 39(3): 249-276 (2007) - [c66]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Entailment for SHOQ. Description Logics 2007 - [c65]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry. Description Logics 2007 - [c63]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303 - [c62]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404 - [c59]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007 - [c58]Boris Motik, Ian Horrocks, Ulrike Sattler:
Adding Integrity Constraints to OWL. OWLED 2007 - [c56]Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Just the right amount: extracting modules from ontologies. WWW 2007: 717-726 - [c55]Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. WWW 2007: 807-816 - [p3]Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
Computational modal logic. Handbook of Modal Logic 2007: 181-245 - 2006
- [c54]Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens:
Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324 - [c53]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006 - [c52]Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together? Description Logics 2006 - [c51]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ. KR 2006: 57-67 - [c48]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
Next Steps for OWL. OWLED 2006 - [c46]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After? ISWC 2006: 501-514 - [c45]Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. HyLo@FLoC 2006: 3-14 - 2005
- [j11]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. 23: 667-726 (2005) - [c43]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248 - [c40]Ian Horrocks, Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453 - [c38]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Irresistible SRIQ. OWLED 2005 - [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. ISWC 2005: 786-800 - [e5]Ian Horrocks, Ulrike Sattler, Frank Wolter:
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 [contents] - 2004
- [j9]Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004) - [p2]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2004: 3-28 - 2003
- [c28]Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348 - [c27]Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354 - 2002
- [j6]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics for the Semantic Web. Künstliche Intell. 16(4): 57-59 (2002) - [c23]Ian Horrocks, Ulrike Sattler:
Optimised Reasoning for SHIQ. ECAI 2002: 277-281 - 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. Log. J. IGPL 8(3): 239-263 (2000) - [c17]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496 - [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 - [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
- [j2]Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999) - [c10]Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180 - 1998
- [c9]Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint