![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ulrike Sattler
Person information
- affiliation: University of Manchester
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c179]Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler:
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). AAAI 2024: 10581-10588 - 2023
- [e17]Uli Sattler, Martin Suda:
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14279, Springer 2023, ISBN 978-3-031-43368-9 [contents] - [i14]Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler:
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond). CoRR abs/2312.10857 (2023) - 2022
- [c178]Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-57 - [c177]Haoruo Zhao, Bijan Parsia, Uli Sattler:
Next Steps for ReAD: Modules for Classification Optimisation. Description Logics 2022 - [e16]Ulrike Sattler
, Aidan Hogan
, C. Maria Keet
, Valentina Presutti
, João Paulo A. Almeida
, Hideaki Takeda
, Pierre Monnin
, Giuseppe Pirrò
, Claudia d'Amato
:
The Semantic Web - ISWC 2022 - 21st International Semantic Web Conference, Virtual Event, October 23-27, 2022, Proceedings. Lecture Notes in Computer Science 13489, Springer 2022, ISBN 978-3-031-19432-0 [contents] - 2021
- [j34]Ghader Kurdi, Jared Leo, Nicolas Matentzoglu
, Bijan Parsia, Uli Sattler, Sophie Forge, Gina Donato, Will Dowling:
A comparative study of methods for a priori prediction of MCQ difficulty. Semantic Web 12(3): 449-465 (2021) - [j33]Katarina Britz, Giovanni Casini
, Thomas Meyer
, Kody Moodley
, Uli Sattler, Ivan Varzinczak
:
Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. 22(1): 1:1-1:46 (2021) - [c176]Mirantha Jayathilaka
, Tingting Mu, Uli Sattler
:
Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings. ICMLA 2021: 292-297 - [c175]Haoruo Zhao, Bijan Parsia
, Uli Sattler
:
ReAD: AD-Based Modular Ontology Classification. JELIA 2021: 210-224 - [c174]Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. SOQE@KR 2021: 15-27 - [c173]Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. MLSMKG@PKDD/ECML 2021 - [c172]Christian Kindermann, Bijan Parsia, Uli Sattler:
Encoding Repetitive Structures in Ontologies. WOP (Book) 2021: 204-226 - [c171]Christian Kindermann, Bijan Parsia, Uli Sattler:
Syntactic Regularities Based on Language Abstractions. WOP (Book) 2021: 312-330 - [i13]Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. CoRR abs/2109.09063 (2021) - [i12]João Marques-Silva, Rafael Peñaloza, Uli Sattler:
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports 11(8): 1-10 (2021) - 2020
- [j32]Ghader Kurdi
, Jared Leo, Bijan Parsia, Uli Sattler
, Salam Al-Emari
:
A Systematic Review of Automatic Question Generation for Educational Purposes. Int. J. Artif. Intell. Educ. 30(1): 121-204 (2020) - [j31]Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao:
Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. 69: 963-1021 (2020) - [j30]Uli Sattler, Thomas Schneider
:
Interview with Uli Sattler. Künstliche Intell. 34(3): 429-432 (2020) - [j29]Jared Leo, Nicolas Matentzoglu
, Uli Sattler
, Bijan Parsia:
A systematic survey of temporal requirements of bio-health ontologies. Semantic Web 11(4): 657-688 (2020) - [c170]Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Visual-Semantic Embedding Model Informed by Structured Knowledge. STAIRS@ECAI 2020 - [c169]Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO 2020 - [c168]Christian Kindermann, Bijan Parsia, Uli Sattler:
Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies. ISWC (1) 2020: 330-348 - [i11]Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Visual-Semantic Embedding Model Informed by Structured Knowledge. CoRR abs/2009.10026 (2020)
2010 – 2019
- 2019
- [j28]Jared Leo
, Ghader Kurdi, Nicolas Matentzoglu
, Bijan Parsia, Ulrike Sattler
, Sophie Forge, Gina Donato, Will Dowling:
Ontology-Based Generation of Medical, Multi-term MCQs. Int. J. Artif. Intell. Educ. 29(2): 145-188 (2019) - [c167]Carsten Lutz, Uli Sattler, Cesare Tinelli
, Anni-Yasmin Turhan, Frank Wolter
:
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That 2019: 1-14 - [c166]Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. Description Logics 2019 - [c165]Haoruo Zhao, Uli Sattler, Bijan Parsia:
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics 2019 - [c164]Christian Kindermann, Bijan Parsia, Uli Sattler:
Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns. WOP@ISWC 2019: 17-31 - [c163]Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. ISWC (1) 2019: 311-328 - [e15]Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents] - [i10]Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak:
Theoretical Foundations of Defeasible Description Logics. CoRR abs/1904.07559 (2019) - 2018
- [j27]Nicolas Matentzoglu
, Bijan Parsia
, Uli Sattler
:
OWL Reasoning: Subsumption Test Hardness and Modularity. J. Autom. Reason. 60(4): 385-419 (2018) - [c162]Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen:
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. Description Logics 2018 - [c161]Ricardo Guimarães, Uli Sattler, Renata Wassermann:
Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR 2018: 51-62 - [i9]Henrik Forssell, Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen:
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. CoRR abs/1809.10436 (2018) - 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 - [c160]Viachaslau Sazonau, Uli Sattler
:
Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction. ISWC (1) 2017: 577-593 - [c159]Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler:
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. 2017: 217-231 - 2016
- [j26]Tahani Alsubait
, Bijan Parsia, Ulrike Sattler
:
Ontology-Based Multiple Choice Question Generation. Künstliche Intell. 30(2): 183-188 (2016) - [c158]Ghader Kurdi, Bijan Parsia, Uli Sattler:
An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies. OWLED 2016: 24-39 - 2015
- [c157]Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. Description Logics 2015 - [c156]Viachaslau Sazonau, Uli Sattler:
TBox Reasoning in the Probabilistic Description Logic SHIQp. Description Logics 2015 - [c155]Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Verifying Reasoner Correctness - A Justication Based Method. ORE 2015: 46-52 - [c154]Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia:
A Survey of Current, Stand-alone OWL Reasoners. ORE 2015: 68-79 - [c153]Viachaslau Sazonau, Uli Sattler, Gavin Brown:
General Terminology Induction in OWL. OWLED 2015: 1-13 - [c152]Tahani Alsubait
, Bijan Parsia, Uli Sattler
:
A Similarity Based Approach to Omission Finding in Ontologies. OWLED 2015: 21-32 - [c151]Michael Lee, Nicolas Matentzoglu
, Bijan Parsia, Uli Sattler
:
A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. ISWC (2) 2015: 393-408 - [c150]Giovanni Casini
, Thomas Andreas Meyer
, Kodylan Moodley
, Uli Sattler
, Ivan José Varzinczak
:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426 - [c149]Viachaslau Sazonau, Uli Sattler
, Gavin Brown
:
General Terminology Induction in OWL. ISWC (1) 2015: 533-550 - [e14]Patrick Lambrix
, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini:
Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8982, Springer 2015, ISBN 978-3-319-17965-0 [contents] - 2014
- [c148]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? Description Logics 2014: 365-377 - [c147]Liang Chang, Uli Sattler, Tianlong Gu:
An ABox Revision Algorithm for the Description Logic EL_bot. Description Logics 2014: 459-470 - [c146]Jared Leo, Ulrike Sattler, Bijan Parsia:
Temporalising EL Concepts with Time Intervals. Description Logics 2014: 620-632 - [c145]Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. Description Logics 2014: 659-670 - [c144]Kodylan Moodley, Thomas Meyer, Uli Sattler:
DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics 2014: 671-683 - [c143]Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting OWL Reasoners: Locally or Globally? Description Logics 2014: 713-724 - [c142]Tahani Alsubait, Bijan Parsia, Uli Sattler
:
Measuring Similarity in Ontologies: A New Family of Measures. EKAW 2014: 13-25 - [c141]Tahani Alsubait
, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: How Far Can We Go? EKAW (Satellite Events) 2014: 66-79 - [c140]Liang Chang, Uli Sattler
, Tianlong Gu:
Algorithm for Adapting Cases Represented in a Tractable Description Logic. ICCBR 2014: 63-78 - [c139]Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting Performance of OWL Reasoners: Locally or Globally? KR 2014 - [c138]Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens:
A Family History Knowledge Base in OWL 2. ORE 2014: 71-76 - [c137]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: Lessons Learnt. OWLED 2014: 73-84 - [c136]Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler
, Mark A. Musen:
A Study on the Atomic Decomposition of Ontologies. ISWC (2) 2014: 65-80 - [c135]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring similarity in ontologies: a new family of measures. ISWC (Posters & Demos) 2014: 225-228 - [c134]Nicolas Matentzoglu, Daniel Tang, Bijan Parsia, Uli Sattler:
The Manchester OWL Repository: System Description. ISWC (Posters & Demos) 2014: 285-288 - [c133]Kodylan Moodley
, Thomas Meyer
, Uli Sattler
:
Practical Defeasible Reasoning for Description Logics. STAIRS 2014: 191-200 - [e13]Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler
:
Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings. IFIP Advances in Information and Communication Technology 432, Springer 2014, ISBN 978-3-662-44979-0 [contents] - [i8]Liang Chang, Uli Sattler, Tianlong Gu:
Algorithm for Adapting Cases Represented in a Tractable Description Logic. CoRR abs/1405.4180 (2014) - 2013
- [j25]Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler
:
Toward cognitive support for OWL justifications. Knowl. Based Syst. 53: 66-79 (2013) - [c132]Samantha Bail, Bijan Parsia, Ulrike Sattler
:
The logical diversity of explanations in OWL ontologies. CIKM 2013: 559-568 - [c131]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 - [c130]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. Description Logics 2013: 197-208 - [c129]Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens:
Finding fault: detecting issues in a versioned ontology. WoDOOM 2013: 9-20 - [c128]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 - [c127]Rafael S. Gonçalves, Bijan Parsia, Uli Sattler:
Comparing Ontologies with ecco. ISWC (Posters & Demos) 2013: 49-52 - [c126]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) 2013: 84-100 - [c125]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. ISWC (Posters & Demos) 2013: 277-280 - 2012
- [c124]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics 2012 - [c123]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. Description Logics 2012 - [c122]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Logical Relevance in Ontologies. Description Logics 2012 - [c121]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Declutter Your Justifications: Determining Similarity Between OWL Explanations. WoDOOM@EKAW 2012: 13-24 - [c120]Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens:
Representation of Part-Whole Relationships in SNOMED CT. ICBO 2012 - [c119]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in Ontologies. KR 2012 - [c118]Tahani Alsubait, Bijan Parsia, Ulrike Sattler:
Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED 2012 - [c117]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED 2012 - [c116]Rafael S. Gonçalves
, Bijan Parsia, Ulrike Sattler:
Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. ISWC (1) 2012: 82-98 - [c115]Rafael S. Gonçalves
, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. ISWC (1) 2012: 99-115 - [c114]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Extracting Justifications from BioPortal Ontologies. ISWC (2) 2012: 287-299 - [c113]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:
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 [contents] - [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
- [c112]Christoph Frenzel, Bijan Parsia, Ulrike Sattler
, Bernhard Bauer:
Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops 2011: 437-447 - [c111]Rafael S. Gonçalves
, Bijan Parsia, Ulrike Sattler
:
Analysing the evolution of the NCI Thesaurus. CBMS 2011: 1-6 - [c110]Rafael S. Gonçalves
, Bijan Parsia, Ulrike Sattler
:
Categorising logical differences between OWL ontologies. CIKM 2011: 1541-1546 - [c109]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics 2011 - [c108]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics 2011 - [c107]Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. Description Logics 2011 - [c106]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
:
Topicality in Logic-Based Ontologies. ICCS 2011: 187-200 - [c105]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition. IJCAI 2011: 2232-2237 - [c104]Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler
:
The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) 2011: 67-82 - [c103]Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler
, Thomas Schneider, Andrew Winget:
Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) 2011: 130-145 - [c102]Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. ISWC (1) 2011: 241-256 - [c101]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
- [j24]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) - [c100]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in OWL. Description Logics 2010 - [c99]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The modular structure of an ontology: an empirical study. Description Logics 2010 - [c98]Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Justificatory Structure of OWL Ontologies. OWLED 2010 - [c97]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 - [c96]Samantha Bail, Bijan Parsia, Ulrike Sattler:
JustBench: A Framework for OWL Benchmarking. ISWC (1) 2010: 32-47 - [c95]Matthew Horridge, Bijan Parsia, Ulrike Sattler
:
Justification Oriented Proofs in OWL. ISWC (1) 2010: 354-369 - [c94]Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Information system analysis. IWEST@ISWC 2010 - [c93]Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Evaluating Modelling Approaches for Medical Image Annotations. SWAT4LS 2010 - [c92]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:
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press 2010 [contents] - [i4]Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Evaluating Modelling Approaches for Medical Image Annotations. CoRR abs/1012.1882 (2010)
2000 – 2009
- 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) - [c91]Johannes Bauer, Ulrike Sattler, Bijan Parsia:
Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009 - [c90]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Lemmas for Justifications in OWL. Description Logics 2009 - [c89]Pavel Klinov, Bijan Parsia, Ulrike Sattler:
On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009 - [c88]Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev:
Which Kind of Module Should I Extract? Description Logics 2009 - [c87]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 - [c86]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
From Justifications to Proofs for Entailments in OWL. OWLED 2009 - [c85]Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Using Ontologies for Medical Image Retrieval - An Experiment. OWLED 2009 - [c84]Bijan Parsia, Ulrike Sattler, Thomas Schneider:
Mechanisms for Importing Modules. OWLED 2009 - [c83]Dmitry Tsarkov, Ulrike Sattler, Robert Stevens:
A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009 - [c82]Matthew Horridge, Bijan Parsia, Ulrike Sattler
:
Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137 - [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] - [e9]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 Workshop Proceedings 432, CEUR-WS.org 2009 [contents] - 2008
- [j21]Ullrich Hustadt
, Boris Motik, Ulrike Sattler:
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (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) - [c81]Francis Gasse, Ulrike Sattler, Volker Haarslev:
Rewriting Rules into SROIQ Axioms. Description Logics 2008 - [c80]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008 - [c79]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 - [c78]Peihong Ke, Ulrike Sattler:
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics 2008 - [c77]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008 - [c76]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 - [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 - [c73]Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler:
Understanding Entailments in OWL. OWLED 2008 - [c72]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. OWLED (Spring) 2008 - [c71]Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008 - [c70]Bijan Parsia, Ulrike Sattler, Thomas Schneider:
Easy Keys for OWL. OWLED 2008 - [c69]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Laconic and Precise Justifications in OWL. ISWC 2008: 323-338 - [c68]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Explanation of OWL Entailments in Protege 4. ISWC (Posters & Demos) 2008 - [c67]Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
:
Structured objects in owl: representation and reasoning. WWW 2008: 555-564 - [e8]Ulrike Sattler, Andrei Tamilin:
Proceedings of the Workshop on Ontologies: Reasoning and Modularity, WoMO 2008, Tenerife, Spain, June 2, 2008. CEUR Workshop Proceedings 348, CEUR-WS.org 2008 [contents] - [r1]Franz Baader, Ian Horrocks
, Ulrike Sattler:
Description Logics. Handbook of Knowledge Representation 2008: 135-179 - 2007
- [j17]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 Bioinform. 8 (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. Int. J. Hum. Comput. Stud. 65(7): 583-594 (2007) - [j15]Ian Horrocks
, Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ. J. Autom. Reason. 39(3): 249-276 (2007) - [j14]Ullrich Hustadt
, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reason. 39(3): 351-384 (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 - [c64]Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235 - [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 - [c61]Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317 - [c60]Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007 - [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 - [c57]Ulrike Sattler:
Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182 - [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
- [j13]Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K. J. Appl. Non Class. Logics 16(1-2): 169-208 (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 - [c50]Boris Motik, Ulrike Sattler:
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241 - [c49]Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler:
A Case for Abductive Reasoning over Ontologies. OWLED 2006 - [c48]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
Next Steps for OWL. OWLED 2006 - [c47]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 - [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 - [e7]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 Workshop Proceedings 189, CEUR-WS.org 2006 [contents] - [e6]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. Lecture Notes in Computer Science 4126, Springer 2006, ISBN 3-540-38409-X [contents] - 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. 23: 667-726 (2005) - [j10]Boris Motik, Ulrike Sattler, Rudi Studer:
Query Answering for OWL-DL with rules. J. Web Semant. 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]Ian Horrocks, Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453 - [c39]Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471 - [c38]Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Irresistible SRIQ. OWLED 2005 - [c37]Antoon Goderis, Ulrike Sattler
, Phillip W. Lord, Carole A. Goble
:
Seven Bottlenecks to Workflow Reuse and Repurposing. ISWC 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. 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) - [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. ISWC 2004: 549-563 - [p2]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2004: 3-28 - [e4]Ulrike Sattler:
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 [contents] - 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]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 - [p1]Ulrike Sattler, Diego Calvanese, Ralf Molitor:
Relationships with other Formalisms. Description Logic Handbook 2003: 137-177 - [e3]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 Workshop Proceedings 79, CEUR-WS.org 2003 [contents] - 2002
- [j7]Stéphane Demri, Ulrike Sattler:
Automata-Theoretic Decision Procedures for Information Logics. Fundam. Informaticae 53(1): 1-22 (2002) - [j6]Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics for the Semantic Web. Künstliche Intell. 16(4): 57-59 (2002) - [c26]Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-Based Decision Procedures for K. CADE 2002: 16-30 - [c25]Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi:
The Complexity of the Graded µ-Calculus. CADE 2002: 423-437 - [c24]Carsten Lutz, Ulrike Sattler:
A proposal for describing services with DLs. Description Logics 2002 - [c23]Ian Horrocks, Ulrike Sattler:
Optimised Reasoning for SHIQ. ECAI 2002: 277-281 - 2001
- [j5]Franz Baader, Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics. Stud Logica 69(1): 5-40 (2001) - [c22]Ulrike Sattler, Moshe Y. Vardi:
The Hybrid µ-Calculus. IJCAR 2001: 76-91 - [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. Log. J. 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]Carsten Lutz, Ulrike Sattler:
Mary Likes all Cats. Description Logics 2000: 213-226 - [c15]Ulrike Sattler:
Description Logics for the Representation of Aggregated Objects. ECAI 2000: 239-243 - [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:
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000. CEUR Workshop Proceedings 33, CEUR-WS.org 2000 [contents] - [e1]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 Workshop Proceedings 29, CEUR-WS.org 2000 [contents] - [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 University, Germany, Mainz 1998, ISBN 978-3-89653-348-7, 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
aka: Robert D. Stevens
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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