| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The Modular Structure of an Ontology: Atomic Decomposition. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer |
Mooop - A Hybrid Integration of OWL and Java. |
CAiSE Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler |
The Cognitive Complexity of OWL Justifications. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler |
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Samantha Bail, Bijan Parsia, Ulrike Sattler |
Extracting Finite Sets of Entailments from OWL Ontologies. |
Description Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler |
Analysing the evolution of the NCI Thesaurus. |
CBMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. |
WoMO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler |
The Justificatory Structure of the NCBO BioPortal Ontologies. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler |
The Cognitive Complexity of OWL Justifications. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002, Andrew Winget |
Decomposition and Modular Structure of BioPortal Ontologies. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler |
Categorising logical differences between OWL ontologies. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler |
Topicality in Logic-Based Ontologies. |
ICCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari |
Special issue on automated deduction: Decidability, complexity, tractability. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Opitz, Bijan Parsia, Ulrike Sattler |
Evaluating Modelling Approaches for Medical Image Annotations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The modular structure of an ontology: an empirical study. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Masking in OWL. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The modular structure of an ontology: an empirical study. |
WoMO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jasmin Opitz, Bijan Parsia, Ulrike Sattler |
Evaluating Modelling Approaches for Medical Image Annotations. |
SWAT4LS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Samantha Bail, Bijan Parsia, Ulrike Sattler |
JustBench: A Framework for OWL Benchmarking. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Justification Oriented Proofs in OWL. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Bridging the gap between OWL and relational databases. |
J. Web Sem. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Representing ontologies using description logics, description graphs, and rules. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Extracting Modules from Ontologies: A Logic-Based Approach. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider 0002, Petra Selmer, Frank Wolter, Michael Zakharyaschev |
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Explaining Inconsistencies in OWL Ontologies. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Bauer, Ulrike Sattler, Bijan Parsia |
Explaining by Example: Model Exploration for Ontology Comprehension. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pavel Klinov, Bijan Parsia, Ulrike Sattler |
On Correspondences between Probabilistic First-Order and Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Lemmas for Justifications in OWL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Sattler, Thomas Schneider 0002, Michael Zakharyaschev |
Which Kind of Module Should I Extract? |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dmitry Tsarkov, Ulrike Sattler, Robert Stevens |
A Solution for the Man-Man Problem in the Family History Knowledge Base. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
From Justifications to Proofs for Entailments in OWL. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jasmin Opitz, Bijan Parsia, Ulrike Sattler |
Using Ontologies for Medical Image Retrieval - An Experiment. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
Mechanisms for Importing Modules. |
OWLED |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Deciding expressive description logics in the framework of resolution. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Modular Reuse of Ontologies: Theory and Practice. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider 0002, Rafael Berlanga Llavori |
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. |
ESWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peihong Ke, Ulrike Sattler |
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francis Gasse, Ulrike Sattler, Volker Haarslev |
Rewriting Rules into SROIQ Axioms. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
The Representation of Structured Objects in DLs using Description Graphs. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider 0002, Rafael Berlanga Llavori |
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler |
Structured objects in owl: representation and reasoning. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
structured objects, description logics, owl |
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Modeling Ontologies using OWL, Description Graphs, and Rules. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler |
Understanding Entailments in OWL. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
Easy Keys for OWL. |
OWLED |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Sattler, Andrei Tamilin (eds.) |
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, WoMO 2008, Tenerife, Spain, June 2, 2008. |
WoMO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Unions of Conjunctive Queries in SHOQ. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler |
Representing Structured Objects using Description Graphs. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Laconic and Precise Justifications in OWL. |
International Semantic Web Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Horridge, Bijan Parsia, Ulrike Sattler |
Explanation of OWL Entailments in Protege 4. |
International Semantic Web Conference (Posters & Demos) |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Birte Glimm, Ulrike Sattler |
Hybrid Logics and Ontology Languages. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Ulrike Sattler |
A Tableau Decision Procedure for SHOIQ. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Description logic, Decision procedures |
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. |
J. Autom. Reasoning |
2007 |
DBLP DOI BibTeX RDF |
Description logics, Data complexity, Disjunctive datalog |
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
A Logical Framework for Modularity of Ontologies. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler |
Conjunctive Query Answering for the Description Logic SHIQ. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Entailment for SHOQ. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Ontology Reuse: Better Safe than Sorry. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Just the right amount: extracting modules from ontologies. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, description logics, oWL |
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Bridging the gap between OWL and relational databases. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
semantic web, relational databases, OWL |
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
Extracting Modules from Ontologies: A Logic-based Approach. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya |
Completing Description Logic Knowledge Bases using Formal Concept Analysis. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Ulrike Sattler |
Adding Integrity Constraints to OWL. |
OWLED |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Sattler |
Reasoning in Description Logics: Basics, Extensions, and Relatives. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
BDD-based decision procedures for the modal logic K. |
Journal of Applied Non-Classical Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ulrike Sattler |
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Glimm, Ian Horrocks, Ulrike Sattler |
Conjunctive Query Answering for Description Logics with Transitive Roles. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler |
Will my Ontologies Fit Together? |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler |
A Case for Abductive Reasoning over Ontologies. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler |
Next Steps for OWL. |
OWLED |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
The Even More Irresistible SROIQ. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler |
Can OWL and Logic Programming Live Together Happily Ever After? |
International Semantic Web Conference |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Reasoning Web |
2006 |
DBLP BibTeX RDF |
|
| 1 | Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens |
Deciding Semantic Matching of Stateless Services. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Ulrike Sattler, Lidia Tendera |
The complexity of finite model reasoning in description logics. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik, Ulrike Sattler, Rudi Studer |
Query Answering for OWL-DL with rules. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler |
Keys, Nominals, and Concrete Domains. |
J. Artif. Intell. Res. (JAIR) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Horrocks, Ulrike Sattler |
A Tableaux Decision Procedure for SHOIQ. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Data Complexity of Reasoning in Very Expressive Description Logics. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Ulrike Sattler, Frank Wolter (eds.) |
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antoon Goderis, Ulrike Sattler, Carole A. Goble |
Applying Description Logics for Workflow Reuse and Repurposing. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
The Irresistible SRIQ. |
OWLED |
2005 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Ian Horrocks, Ulrike Sattler |
Description Logics as Ontology Languages for the Semantic Web. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble |
Seven Bottlenecks to Workflow Reuse and Repurposing. |
International Semantic Web Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter |
Integrating Description Logics and Action Formalisms: First Results. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian Horrocks, Ulrike Sattler |
Decidability of SHIQ with complex role inclusion axioms. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Ian Horrocks, Ulrike Sattler |
Description Logics. |
Handbook on Ontologies |
2004 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")