Uli Sattler - RankMe

76 papers A* 4A 1B 3C 2Journal 19Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Large Language Model for OWL Proofs. WWW Hui Yang, Jiaoyan Chen, Uli Sattler
2026	J	`jnl`	Large Language Model for OWL Proofs. CoRR Hui Yang, Jiaoyan Chen, Uli Sattler
2025	A*	`conf`	TransBox: WWW Hui Yang, Jiaoyan Chen, Uli Sattler
2024	A*	`conf`	Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). AAAI Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler
2024	J	`jnl`	Resources for Graph Data and Knowledge. TGDK Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, Uli Sattler
2024	J	`jnl`	TransBox: EL++-closed Ontology Embedding. CoRR Hui Yang, Jiaoyan Chen, Uli Sattler
2023	—	`ed.`	Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings FroCoS Uli Sattler, Martin Suda
2023	J	`jnl`	Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond). CoRR Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler
2022	—	`conf`	Next Steps for ReAD: Modules for Classification Optimisation. Description Logics Haoruo Zhao, Bijan Parsia, Uli Sattler
2022	B	`conf`	Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML Ruba Alassaf, Renate A. Schmidt, Uli Sattler
2021	J	`jnl`	A comparative study of methods for a priori prediction of MCQ difficulty. Semantic Web Ghader Kurdi, Jared Leo, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler, Sophie Forge, Gina Donato, Will Dowling
2021	—	`conf`	Encoding Repetitive Structures in Ontologies. WOP (Book) Christian Kindermann, Bijan Parsia, Uli Sattler
2021	J	`jnl`	Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports João Marques-Silva, Rafael Peñaloza, Uli Sattler
2021	—	`conf`	Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. MLSMKG@PKDD/ECML Mirantha Jayathilaka, Tingting Mu, Uli Sattler
2021	J	`jnl`	Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. CoRR Mirantha Jayathilaka, Tingting Mu, Uli Sattler
2021	J	`jnl`	Principles of KLM-style Defeasible Description Logics. ACM Trans. Comput. Log. Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2021	B	`conf`	ReAD: AD-Based Modular Ontology Classification. JELIA Haoruo Zhao, Bijan Parsia, Uli Sattler
2021	—	`conf`	Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K SOQE@KR Ruba Alassaf, Renate A. Schmidt, Uli Sattler
2021	—	`conf`	Syntactic Regularities Based on Language Abstractions. WOP (Book) Christian Kindermann, Bijan Parsia, Uli Sattler
2021	C	`conf`	Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings. ICMLA Mirantha Jayathilaka, Tingting Mu, Uli Sattler
2020	J	`jnl`	A Systematic Review of Automatic Question Generation for Educational Purposes. Int. J. Artif. Intell. Educ. Ghader Kurdi, Jared Leo, Bijan Parsia, Uli Sattler, Salam Al-E'mari
2020	J	`jnl`	A systematic survey of temporal requirements of bio-health ontologies. Semantic Web Jared Leo, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
2020	J	`jnl`	Interview with Uli Sattler. Künstliche Intell. Uli Sattler, Thomas Schneider
2020	J	`jnl`	Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
2020	—	`conf`	Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies. ISWC (1) Christian Kindermann, Bijan Parsia, Uli Sattler
2020	—	`conf`	ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO Haoruo Zhao, Bijan Parsia, Uli Sattler
2020	—	`conf`	Visual-Semantic Embedding Model Informed by Structured Knowledge. STAIRS@ECAI Mirantha Jayathilaka, Tingting Mu, Uli Sattler
2020	J	`jnl`	Visual-Semantic Embedding Model Informed by Structured Knowledge. CoRR Mirantha Jayathilaka, Tingting Mu, Uli Sattler
2019	—	`conf`	A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	—	`conf`	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics Haoruo Zhao, Uli Sattler, Bijan Parsia
2019	—	`conf`	Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns. WOP@ISWC Christian Kindermann, Bijan Parsia, Uli Sattler
2019	—	`ed.`	Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday Description Logic, Theory Combination, and All That Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
2019	—	`conf`	Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. Description Logics Christian Kindermann, Bijan Parsia, Uli Sattler
2019	—	`conf`	Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. ISWC (1) Christian Kindermann, Bijan Parsia, Uli Sattler
2019	J	`jnl`	Theoretical Foundations of Defeasible Description Logics. CoRR Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2018	—	`conf`	Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. Description Logics Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen
2018	J	`jnl`	Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. CoRR Henrik Forssell, Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen
2018	J	`jnl`	OWL Reasoning: Subsumption Test Hardness and Modularity. J. Autom. Reason. Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
2018	—	`conf`	Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR Ricardo Guimarães, Uli Sattler, Renata Wassermann
2017	—	`conf`	Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction. ISWC (1) Viachaslau Sazonau, Uli Sattler
2016	—	`conf`	An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies. OWLED Ghader Kurdi, Bijan Parsia, Uli Sattler
2015	—	`conf`	A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. ISWC (2) Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
2015	—	`conf`	A Similarity Based Approach to Omission Finding in Ontologies. OWLED Tahani Alsubait, Bijan Parsia, Uli Sattler
2015	—	`conf`	A Survey of Current, Stand-alone OWL Reasoners. ORE Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia
2015	—	`conf`	Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. Description Logics Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
2015	—	`conf`	General Terminology Induction in OWL. OWLED Viachaslau Sazonau, Uli Sattler, Gavin Brown
2015	—	`conf`	General Terminology Induction in OWL. ISWC (1) Viachaslau Sazonau, Uli Sattler, Gavin Brown
2015	—	`conf`	Introducing Defeasibility into OWL Ontologies. ISWC (2) Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak
2015	—	`ed.`	Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. EKAW (Satellite Events) Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini
2015	—	`conf`	TBox Reasoning in the Probabilistic Description Logic SHIQp. Description Logics Viachaslau Sazonau, Uli Sattler
2015	—	`conf`	Verifying Reasoner Correctness - A Justication Based Method. ORE Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia
2014	—	`conf`	A Family History Knowledge Base in OWL 2. ORE Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens
2014	C	`conf`	Algorithm for Adapting Cases Represented in a Tractable Description Logic. ICCBR Liang Chang, Uli Sattler, Tianlong Gu
2014	J	`jnl`	Algorithm for Adapting Cases Represented in a Tractable Description Logic. CoRR Liang Chang, Uli Sattler, Tianlong Gu
2014	—	`conf`	An ABox Revision Algorithm for the Description Logic EL_bot. Description Logics Liang Chang, Uli Sattler, Tianlong Gu
2014	—	`conf`	An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. Description Logics Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
2014	—	`conf`	DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics Kodylan Moodley, Thomas Meyer, Uli Sattler
2014	—	`conf`	Generating Multiple Choice Questions From Ontologies: How Far Can We Go? EKAW (Satellite Events) Tahani Alsubait, Bijan Parsia, Uli Sattler
2014	—	`conf`	Generating Multiple Choice Questions From Ontologies: Lessons Learnt. OWLED Tahani Alsubait, Bijan Parsia, Uli Sattler
2014	—	`ed.`	Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings IIP Zhongzhi Shi, Zhaohui Wu, David B. Leake, Uli Sattler
2014	—	`conf`	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? Description Logics Tahani Alsubait, Bijan Parsia, Uli Sattler
2014	B	`conf`	Measuring Similarity in Ontologies: A New Family of Measures. EKAW Tahani Alsubait, Bijan Parsia, Uli Sattler
2014	—	`conf`	Measuring similarity in ontologies: a new family of measures. ISWC (Posters & Demos) Tahani Alsubait, Bijan Parsia, Uli Sattler
2014	—	`conf`	Practical Defeasible Reasoning for Description Logics. STAIRS Kodylan Moodley, Thomas Meyer, Uli Sattler
2014	—	`conf`	Predicting OWL Reasoners: Locally or Globally? Description Logics Viachaslau Sazonau, Uli Sattler, Gavin Brown
2014	A*	`conf`	Predicting Performance of OWL Reasoners: Locally or Globally? KR Viachaslau Sazonau, Uli Sattler, Gavin Brown
2014	—	`conf`	The Manchester OWL Repository: System Description. ISWC (Posters & Demos) Nicolas Matentzoglu, Daniel Tang, Bijan Parsia, Uli Sattler
2013	—	`conf`	Comparing Ontologies with ecco. ISWC (Posters & Demos) Rafael S. Gonçalves, Bijan Parsia, Uli Sattler
2013	—	`conf`	Finding Fault: Detecting Issues in a Versioned Ontology. ESWC (Satellite Events) Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens
2013	—	`conf`	Finding fault: detecting issues in a versioned ontology. WoDOOM Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens
2013	—	`conf`	The Empirical Robustness of Description Logic Classification. Description Logics Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
2013	—	`conf`	The Empirical Robustness of Description Logic Classification. ISWC (Posters & Demos) Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
2013	J	`jnl`	Toward cognitive support for OWL justifications. Knowl. Based Syst. Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler
2012	A	`ed.`	Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings IJCAR Bernhard Gramlich, Dale Miller, Uli Sattler
2012	—	`conf`	Representation of Part-Whole Relationships in SNOMED CT. ICBO Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens
2012	J	`jnl`	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov