default search action

combined dblp search
author search
venue search
publication search

ask others

Ulrike Sattler

Uli Sattler

> Home > Persons

Person information

affiliation: University of Manchester

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tgdk/Hogan0HKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tgdk/Hogan0HKS24
Aidan Hogan, Ian Horrocks, Andreas Hotho, Lalana Kagal, Uli Sattler:
Resources for Graph Data and Knowledge. TGDK 2(2): 1:1-1:2 (2024)
[c179]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KindermannGPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KindermannGPS24
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
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-14571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-14571
Hui Yang, Jiaoyan Chen, Uli Sattler:
TransBox: EL++-closed Ontology Embedding. CoRR abs/2410.14571 (2024)
2023
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/2023
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-10857
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-10857
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]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/AlassfSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AlassfSS22
Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-57
[c177]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/ZhaoPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/ZhaoPS22
Haoruo Zhao, Bijan Parsia, Uli Sattler:
Next Steps for ReAD: Modules for Classification Optimisation. Description Logics 2022
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/2022
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]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/KurdiLMPSFDD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/KurdiLMPSFDD21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BritzCMMSV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BritzCMMSV21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/JayathilakaMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/JayathilakaMS21
Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Towards Knowledge-aware Few-shot Learning with Ontology-based n-ball Concept Embeddings. ICMLA 2021: 292-297
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/ZhaoPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/ZhaoPS21
Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: AD-Based Modular Ontology Classification. JELIA 2021: 210-224
[c174]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/AlassafSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlassafSS21
Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K_n. SOQE@KR 2021: 15-27
[c173]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/pkdd/JayathilakaMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/JayathilakaMS21
Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. MLSMKG@PKDD/ECML 2021
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/KindermannPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KindermannPS21
Christian Kindermann, Bijan Parsia, Uli Sattler:
Encoding Repetitive Structures in Ontologies. WOP (Book) 2021: 204-226
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/KindermannPS21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KindermannPS21a
Christian Kindermann, Bijan Parsia, Uli Sattler:
Syntactic Regularities Based on Language Abstractions. WOP (Book) 2021: 312-330
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-09063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-09063
Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Ontology-based n-ball Concept Embeddings Informing Few-shot Image Classification. CoRR abs/2109.09063 (2021)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/0001PS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/0001PS21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/aiedu/KurdiLPSA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/KurdiLPSA20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/VescovoHPSSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/VescovoHPSSZ20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/SattlerS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/SattlerS20
Uli Sattler, Thomas Schneider:
Interview with Uli Sattler. Künstliche Intell. 34(3): 429-432 (2020)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/LeoMSP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/LeoMSP20
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/JayathilakaMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/JayathilakaMS20
Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Visual-Semantic Embedding Model Informed by Structured Knowledge. STAIRS@ECAI 2020
[c169]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jowo/ZhaoPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jowo/ZhaoPS20
Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO 2020
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/KindermannPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KindermannPS20
Christian Kindermann, Bijan Parsia, Uli Sattler:
Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies. ISWC (1) 2020: 330-348
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-10026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10026
Mirantha Jayathilaka, Tingting Mu, Uli Sattler:
Visual-Semantic Embedding Model Informed by Structured Knowledge. CoRR abs/2009.10026 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/aiedu/LeoKMPSFDD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedu/LeoKMPSFDD19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LutzSTTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LutzSTTW19
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KindermannPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KindermannPS19
Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. Description Logics 2019
[c165]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/ZhaoSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/ZhaoSP19
Haoruo Zhao, Uli Sattler, Bijan Parsia:
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics 2019
[c164]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/KindermannPS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KindermannPS19a
Christian Kindermann, Bijan Parsia, Uli Sattler:
Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns. WOP@ISWC 2019: 17-31
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/KindermannPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/KindermannPS19
Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. ISWC (1) 2019: 311-328
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2019baader
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2019baader
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-07559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-07559
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/MatentzogluPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MatentzogluPS18
Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
OWL Reasoning: Subsumption Test Hardness and Modularity. J. Autom. Reason. 60(4): 385-419 (2018)
[c162]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KindermannLST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KindermannLST18
Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen:
Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity. Description Logics 2018
[c161]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GuimaraesSW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GuimaraesSW18
Ricardo Guimarães, Uli Sattler, Renata Wassermann:
Ontology Stratification Methods: A Comparative Study. MedRACER+WOMoCoE@KR 2018: 51-62
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-10436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-10436
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]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0041477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0041477
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]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/SazonauS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/SazonauS17
Viachaslau Sazonau, Uli Sattler:
Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction. ISWC (1) 2017: 577-593
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/sgai/CasteleiroTPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sgai/CasteleiroTPS17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ki/AlsubaitPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/AlsubaitPS16
Tahani Alsubait, Bijan Parsia, Ulrike Sattler:
Ontology-Based Multiple Choice Question Generation. Künstliche Intell. 30(2): 183-188 (2016)
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/owled/KurdiPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/KurdiPS16
Ghader Kurdi, Bijan Parsia, Uli Sattler:
An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies. OWLED 2016: 24-39
2015
[c157]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/MatentzogluSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MatentzogluSP15
Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. Description Logics 2015
[c156]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/SazonauS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/SazonauS15
Viachaslau Sazonau, Uli Sattler:
TBox Reasoning in the Probabilistic Description Logic SHIQp. Description Logics 2015
[c155]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ore/LeeMSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/LeeMSP15
Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Verifying Reasoner Correctness - A Justication Based Method. ORE 2015: 46-52
[c154]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ore/MatentzogluLHSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/MatentzogluLHSP15
Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia:
A Survey of Current, Stand-alone OWL Reasoners. ORE 2015: 68-79
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/owled/SazonauSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/SazonauSB15
Viachaslau Sazonau, Uli Sattler, Gavin Brown:
General Terminology Induction in OWL. OWLED 2015: 1-13
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/owled/AlsubaitPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/AlsubaitPS15
Tahani Alsubait, Bijan Parsia, Uli Sattler:
A Similarity Based Approach to Omission Finding in Ontologies. OWLED 2015: 21-32
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/LeeMPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/LeeMPS15
Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. ISWC (2) 2015: 393-408
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/CasiniMMSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CasiniMMSV15
Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak:
Introducing Defeasibility into OWL Ontologies. ISWC (2) 2015: 409-426
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/SazonauSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/SazonauSB15
Viachaslau Sazonau, Uli Sattler, Gavin Brown:
General Terminology Induction in OWL. ISWC (1) 2015: 533-550
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/2014s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/2014s
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/AlsubaitPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/AlsubaitPS14
Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? Description Logics 2014: 365-377
[c147]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/ChangSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/ChangSG14
Liang Chang, Uli Sattler, Tianlong Gu:
An ABox Revision Algorithm for the Description Logic EL_bot. Description Logics 2014: 459-470
[c146]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LeoSP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LeoSP14
Jared Leo, Ulrike Sattler, Bijan Parsia:
Temporalising EL Concepts with Time Intervals. Description Logics 2014: 620-632
[c145]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/MatentzogluPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MatentzogluPS14
Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. Description Logics 2014: 659-670
[c144]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/MoodleyMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MoodleyMS14
Kodylan Moodley, Thomas Meyer, Uli Sattler:
DIP: A Defeasible-Inference Platform for OWL Ontologies. Description Logics 2014: 671-683
[c143]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/SazonauSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/SazonauSB14
Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting OWL Reasoners: Locally or Globally? Description Logics 2014: 713-724
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/AlsubaitPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/AlsubaitPS14
Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Similarity in Ontologies: A New Family of Measures. EKAW 2014: 13-25
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/AlsubaitPS14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/AlsubaitPS14a
Tahani Alsubait, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: How Far Can We Go? EKAW (Satellite Events) 2014: 66-79
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/iccbr/ChangSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccbr/ChangSG14
Liang Chang, Uli Sattler, Tianlong Gu:
Algorithm for Adapting Cases Represented in a Tractable Description Logic. ICCBR 2014: 63-78
[c139]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/SazonauSB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SazonauSB14
Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting Performance of OWL Reasoners: Locally or Globally? KR 2014
[c138]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ore/StevensMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/StevensMSS14
Robert Stevens, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens:
A Family History Knowledge Base in OWL 2. ORE 2014: 71-76
[c137]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/AlsubaitPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/AlsubaitPS14
Tahani Alsubait, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: Lessons Learnt. OWLED 2014: 73-84
[c136]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/HorridgeMPSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgeMPSM14
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/AlsubaitPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/AlsubaitPS14
Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring similarity in ontologies: a new family of measures. ISWC (Posters & Demos) 2014: 225-228
[c134]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/MatentzogluTPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/MatentzogluTPS14
Nicolas Matentzoglu, Daniel Tang, Bijan Parsia, Uli Sattler:
The Manchester OWL Repository: System Description. ISWC (Posters & Demos) 2014: 285-288
[c133]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stairs/MoodleyMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/MoodleyMS14
Kodylan Moodley, Thomas Meyer, Uli Sattler:
Practical Defeasible Reasoning for Description Logics. STAIRS 2014: 191-200
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip12/2014iip
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/2014iip
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChangSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChangSG14
Liang Chang, Uli Sattler, Tianlong Gu:
Algorithm for Adapting Cases Represented in a Tractable Description Logic. CoRR abs/1405.4180 (2014)
2013
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/HorridgeBPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/HorridgeBPS13
Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler:
Toward cognitive support for OWL justifications. Knowl. Based Syst. 53: 66-79 (2013)
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/BailPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/BailPS13
Samantha Bail, Bijan Parsia, Ulrike Sattler:
The logical diversity of explanations in OWL ontologies. CIKM 2013: 559-568
[c131]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/VescovoKPS0T13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/VescovoKPS0T13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GoncalvesMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GoncalvesMPS13
Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. Description Logics 2013: 197-208
[c129]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/esws/CopelandGPSS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/CopelandGPSS13a
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esws/CopelandGPSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/CopelandGPSS13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/GoncalvesPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GoncalvesPS13
Rafael S. Gonçalves, Bijan Parsia, Uli Sattler:
Comparing Ontologies with ecco. ISWC (Posters & Demos) 2013: 49-52
[c126]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/VescovoKPS0T13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/VescovoKPS0T13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/GoncalvesMPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GoncalvesMPS13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BailPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BailPS12
Samantha Bail, Bijan Parsia, Ulrike Sattler:
Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics 2012
[c123]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GoncalvesPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GoncalvesPS12
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. Description Logics 2012
[c122]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/VescovoPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/VescovoPS12
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Logical Relevance in Ontologies. Description Logics 2012
[c121]
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - conf/ekaw/BailPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/BailPS12
Samantha Bail, Bijan Parsia, Ulrike Sattler:
Declutter Your Justifications: Determining Similarity Between OWL Explanations. WoDOOM@EKAW 2012: 13-24
[c120]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icbo/SeyedRSPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbo/SeyedRSPS12
Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens:
Representation of Part-Whole Relationships in SNOMED CT. ICBO 2012
[c119]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HorridgePS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HorridgePS12
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in Ontologies. KR 2012
[c118]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/AlsubaitPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/AlsubaitPS12
Tahani Alsubait, Bijan Parsia, Ulrike Sattler:
Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED 2012
[c117]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/GoncalvesPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/GoncalvesPS12
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED 2012
[c116]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/GoncalvesPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GoncalvesPS12
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. ISWC (1) 2012: 82-98
[c115]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/GoncalvesPS12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GoncalvesPS12a
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. ISWC (1) 2012: 99-115
[c114]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/HorridgePS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgePS12
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Extracting Justifications from BioPortal Ontologies. ISWC (2) 2012: 287-299
[c113]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/womo/VescovoKPS0T12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/VescovoKPS0T12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2012
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1641
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1641
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/DelgrandeMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/DelgrandeMS12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/caise/FrenzelPSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/FrenzelPSB11
Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer:
Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops 2011: 437-447
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/GoncalvesPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/GoncalvesPS11
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing the evolution of the NCI Thesaurus. CBMS 2011: 1-6
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/GoncalvesPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/GoncalvesPS11
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Categorising logical differences between OWL ontologies. CIKM 2011: 1541-1546
[c109]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BailPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BailPS11
Samantha Bail, Bijan Parsia, Ulrike Sattler:
Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics 2011
[c108]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GoncalvesPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GoncalvesPS11
Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics 2011
[c107]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HorridgeBPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HorridgeBPS11
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. Description Logics 2011
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/iccs/VescovoPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccs/VescovoPS11
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Topicality in Logic-Based Ontologies. ICCS 2011: 187-200
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/VescovoPSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/VescovoPSS11
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition. IJCAI 2011: 2232-2237
[c104]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/BailHPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/BailHPS11
Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler:
The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) 2011: 67-82
[c103]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/VescovoGKPSSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/VescovoGKPSSW11
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/HorridgeBPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgeBPS11
Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. ISWC (1) 2011: 241-256
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/womo/VescovoPSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/VescovoPSS11
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1111-0049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-0049
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011)
2010
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GhilardiSST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GhilardiSST10
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HorridgePS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HorridgePS10
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in OWL. Description Logics 2010
[c99]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/VescovoPSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/VescovoPSS10
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The modular structure of an ontology: an empirical study. Description Logics 2010
[c98]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/BailPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/BailPS10
Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Justificatory Structure of OWL Ontologies. OWLED 2010
[c97]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/HastingsDHHSSSHB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/HastingsDHHSSSHB10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/BailPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/BailPS10
Samantha Bail, Bijan Parsia, Ulrike Sattler:
JustBench: A Framework for OWL Benchmarking. ISWC (1) 2010: 32-47
[c95]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/HorridgePS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgePS10
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Oriented Proofs in OWL. ISWC (1) 2010: 354-369
[c94]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/OpitzPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/OpitzPS10
Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Information system analysis. IWEST@ISWC 2010
[c93]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/swat4ls/OpitzPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swat4ls/OpitzPS10
Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Evaluating Modelling Approaches for Medical Image Annotations. SWAT4LS 2010
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/womo/VescovoPS010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/VescovoPS010
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The modular structure of an ontology: an empirical study. WoMO 2010: 11-24
[e11]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/kr/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2010
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1012-1882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-1882
Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Evaluating Modelling Approaches for Medical Image Annotations. CoRR abs/1012.1882 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/MotikGHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/MotikGHS09
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ws/MotikHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/MotikHS09
Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. J. Web Semant. 7(2): 74-89 (2009)
[c91]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BauerSP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BauerSP09
Johannes Bauer, Ulrike Sattler, Bijan Parsia:
Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009
[c90]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HorridgePS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HorridgePS09
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Lemmas for Justifications in OWL. Description Logics 2009
[c89]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KlinovPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KlinovPS09
Pavel Klinov, Bijan Parsia, Ulrike Sattler:
On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009
[c88]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/SattlerSZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/SattlerSZ09
Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev:
Which Kind of Module Should I Extract? Description Logics 2009
[c87]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/KontchakovPSSSWZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KontchakovPSSSWZ09
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/HorridgePS08b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgePS08b
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
From Justifications to Proofs for Entailments in OWL. OWLED 2009
[c85]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/OpitzPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/OpitzPS08
Jasmin Opitz, Bijan Parsia, Ulrike Sattler:
Using Ontologies for Medical Image Retrieval - An Experiment. OWLED 2009
[c84]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/ParsiaSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/ParsiaSS08
Bijan Parsia, Ulrike Sattler, Thomas Schneider:
Mechanisms for Importing Modules. OWLED 2009
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/TsarkovSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/TsarkovSS08
Dmitry Tsarkov, Ulrike Sattler, Robert Stevens:
A Solution for the Man-Man Problem in the Family History Knowledge Base. OWLED 2009
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/sum/HorridgePS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sum/HorridgePS09
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137
[p5]
- view
  authority control:
- export record
  dblp key:
  - series/ihis/BaaderHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ihis/BaaderHS09
Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2009: 21-43
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrauHKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrauHKS09
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
[e10]
- view
- export record
  dblp key:
  - conf/dlog/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2009
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]
- view
- export record
  dblp key:
  - conf/owled/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/2008
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HustadtMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HustadtMS08
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
[j20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GlimmLHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GlimmLHS08
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GrauHKS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GrauHKS08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ws/GrauHMPPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/GrauHMPPS08
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GasseSH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GasseSH08
Francis Gasse, Ulrike Sattler, Volker Haarslev:
Rewriting Rules into SROIQ Axioms. Description Logics 2008
[c80]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GlimmHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GlimmHS08
Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008
[c79]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Jimenez-RuizGSSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Jimenez-RuizGSSL08
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/KeS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/KeS08
Peihong Ke, Ulrike Sattler:
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics 2008
[c77]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/MotikGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/MotikGS08
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esws/Jimenez-RuizGSSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esws/Jimenez-RuizGSSL08
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GlimmHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GlimmHS08
Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262
[c74]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/MotikGHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/MotikGHS08
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Representing Structured Objects using Description Graphs. KR 2008: 296-306
[c73]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/HorridgeBPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/HorridgeBPS08
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler:
Understanding Entailments in OWL. OWLED 2008
[c72]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/Jimenez-RuizGS008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/Jimenez-RuizGS008
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/MotikGHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/MotikGHS08
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler:
Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
[c70]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/ParsiaSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/ParsiaSS08
Bijan Parsia, Ulrike Sattler, Thomas Schneider:
Easy Keys for OWL. OWLED 2008
[c69]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/HorridgePS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgePS08
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Laconic and Precise Justifications in OWL. ISWC 2008: 323-338
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/HorridgePS08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/HorridgePS08a
Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Explanation of OWL Entailments in Protege 4. ISWC (Posters & Demos) 2008
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/www/MotikGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/MotikGS08
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler:
Structured objects in owl: representation and reasoning. WWW 2008: 555-564
[e8]
- view
- export record
  dblp key:
  - conf/womo/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/womo/2008
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]
- view
  authority control:
- export record
  dblp key:
  - reference/fai/BaaderHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/fai/BaaderHS08
Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook of Knowledge Representation 2008: 135-179
2007
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/bmcbi/ArangurenBLSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bmcbi/ArangurenBLSS07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijmms/StevensAWSDHR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijmms/StevensAWSDHR07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HorrocksS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HorrocksS07
Ian Horrocks, Ulrike Sattler:
A Tableau Decision Procedure for SHOIQ. J. Autom. Reason. 39(3): 249-276 (2007)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HustadtMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HustadtMS07
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GlimmHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GlimmHS07
Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Entailment for SHOQ. Description Logics 2007
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GrauHKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GrauHKS07
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry. Description Logics 2007
[c64]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BaaderGSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BaaderGSS07
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler:
Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
[c63]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GrauHKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GrauHKS07
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
[c62]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GlimmHLS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GlimmHLS07
Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/KazakovSZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/KazakovSZ07
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin:
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317
[c60]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/BaaderGSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/BaaderGSS07
Franz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya:
Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
[c59]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/GrauHKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/GrauHKS07
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/MotikHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/MotikHS07
Boris Motik, Ian Horrocks, Ulrike Sattler:
Adding Integrity Constraints to OWL. OWLED 2007
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/Sattler07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/Sattler07
Ulrike Sattler:
Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/www/GrauHKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/GrauHKS07
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/www/MotikHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/MotikHS07
Boris Motik, Ian Horrocks, Ulrike Sattler:
Bridging the gap between OWL and relational databases. WWW 2007: 807-816
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/el/07/HorrocksHSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/07/HorrocksHSS07
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
Computational modal logic. Handbook of Modal Logic 2007: 181-245
2006
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/PanSV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/PanSV06
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]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/HullZBHSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HullZBHSS06
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens:
Deciding Semantic Matching of Stateless Services. AAAI 2006: 1319-1324
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GlimmHS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GlimmHS06
Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
[c52]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GrauHKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GrauHKS06
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler:
Will my Ontologies Fit Together? Description Logics 2006
[c51]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HorrocksKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HorrocksKS06
Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Even More Irresistible SROIQ. KR 2006: 57-67
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/MotikS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MotikS06
Boris Motik, Ulrike Sattler:
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241
[c49]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/ElsenbroichKS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/ElsenbroichKS06
Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler:
A Case for Abductive Reasoning over Ontologies. OWLED 2006
[c48]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/GrauHPPS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/GrauHPPS06
Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler:
Next Steps for OWL. OWLED 2006
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/LutzBFLMRSST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/LutzBFLMRSST06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/MotikHRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/MotikHRS06
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After? ISWC 2006: 501-514
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HorrocksGS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HorrocksGS07
Ian Horrocks, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. HyLo@FLoC 2006: 3-14
[e7]
- view
- export record
  dblp key:
  - conf/dlog/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2006
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/2006
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LutzST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LutzST05
Carsten Lutz, Ulrike Sattler, Lidia Tendera:
The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/LutzAHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/LutzAHS05
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. 23: 667-726 (2005)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ws/MotikSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ws/MotikSS05
Boris Motik, Ulrike Sattler, Rudi Studer:
Query Answering for OWL-DL with rules. J. Web Semant. 3(1): 41-60 (2005)
[c44]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BaaderLMSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BaaderLMSW05
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BaaderHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BaaderHS05
Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderMLSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderMLSW05
Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
[c41]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GoderisSG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GoderisSG05
Antoon Goderis, Ulrike Sattler, Carole A. Goble:
Applying Description Logics for Workflow Reuse and Repurposing. Description Logics 2005
[c40]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HorrocksS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HorrocksS05
Ian Horrocks, Ulrike Sattler:
A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453
[c39]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HustadtMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HustadtMS05
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
[c38]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/HorrocksKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/HorrocksKS05
Ian Horrocks, Oliver Kutz, Ulrike Sattler:
The Irresistible SRIQ. OWLED 2005
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/GoderisSLG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GoderisSLG05
Antoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble:
Seven Bottlenecks to Workflow Reuse and Repurposing. ISWC 2005: 323-337
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/semweb/WolstencroftBHLSTS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/WolstencroftBHLSTS05
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]
- view
- export record
  dblp key:
  - conf/dlog/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2005
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HorrocksS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HorrocksS04
Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/HustadtMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HustadtMS04
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
[c34]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HustadtMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HustadtMS04
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HustadtMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HustadtMS04
Ullrich Hustadt, Boris Motik, Ulrike Sattler:
A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/MotikSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/MotikSS04
Boris Motik, Ulrike Sattler, Rudi Studer:
Query Answering for OWL-DL with Rules. ISWC 2004: 549-563
[p2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/sp/staabS2004/BaaderHS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/staabS2004/BaaderHS04
Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics. Handbook on Ontologies 2004: 3-28
[e4]
- view
- export record
  dblp key:
  - conf/cade/2004phd
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2004phd
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]
- view
  authority control:
- export record
  dblp key:
  - journals/is/BaaderS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/BaaderS03
Franz Baader, Ulrike Sattler:
Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LutzST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LutzST03
Carsten Lutz, Ulrike Sattler, Lidia Tendera:
The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HladikS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HladikS03
Jan Hladik, Ulrike Sattler:
A Translation of Looping Alternating Automata into Description Logics. CADE 2003: 90-105
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LutzST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LutzST03
Carsten Lutz, Ulrike Sattler, Lidia Tendera:
Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003
[c28]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HorrocksS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HorrocksS03
Ian Horrocks, Ulrike Sattler:
Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348
[c27]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/LutzAHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LutzAHS03
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler:
Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
[p1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/Sattler03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/Sattler03
Ulrike Sattler, Diego Calvanese, Ralf Molitor:
Relationships with other Formalisms. Description Logic Handbook 2003: 137-177
[e3]
- view
- export record
  dblp key:
  - conf/krdb/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/2003
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]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/DemriS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DemriS02
Stéphane Demri, Ulrike Sattler:
Automata-Theoretic Decision Procedures for Information Logics. Fundam. Informaticae 53(1): 1-22 (2002)
[j6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/ki/BaaderHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BaaderHS02
Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics for the Semantic Web. Künstliche Intell. 16(4): 57-59 (2002)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/PanSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/PanSV02
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-Based Decision Procedures for K. CADE 2002: 16-30
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/KupfermanSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/KupfermanSV02
Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi:
The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LutzS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LutzS02
Carsten Lutz, Ulrike Sattler:
A proposal for describing services with DLs. Description Logics 2002
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/HorrocksS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HorrocksS02
Ian Horrocks, Ulrike Sattler:
Optimised Reasoning for SHIQ. ECAI 2002: 277-281
2001
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BaaderS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BaaderS01
Franz Baader, Ulrike Sattler:
An Overview of Tableau Algorithms for Description Logics. Stud Logica 69(1): 5-40 (2001)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SattlerV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SattlerV01
Ulrike Sattler, Moshe Y. Vardi:
The Hybrid µ-Calculus. IJCAR 2001: 76-91
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/LutzSW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/LutzSW01
Carsten Lutz, Ulrike Sattler, Frank Wolter:
Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
[c20]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LutzSW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LutzSW01
Carsten Lutz, Ulrike Sattler, Frank Wolter:
Description Logics and the Two-Variable Fragment. Description Logics 2001
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HorrocksS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HorrocksS01
Ian Horrocks, Ulrike Sattler:
Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/HorrocksST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/HorrocksST00
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL 8(3): 239-263 (2000)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aiml/LutzS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/LutzS00
Carsten Lutz, Ulrike Sattler:
The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HorrocksST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HorrocksST00
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
[c16]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LutzS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LutzS00
Carsten Lutz, Ulrike Sattler:
Mary Likes all Cats. Description Logics 2000: 213-226
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/Sattler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/Sattler00
Ulrike Sattler:
Description Logics for the Representation of Aggregated Objects. ECAI 2000: 239-243
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/krdb/HorrocksSTT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/HorrocksSTT00
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies:
How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HorrocksSTT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HorrocksSTT00
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies:
How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
[e2]
- view
- export record
  dblp key:
  - conf/dlog/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2000
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]
- view
- export record
  dblp key:
  - conf/krdb/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/2000
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0005013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0005013
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Very Expressive Description Logics. CoRR cs.LO/0005013 (2000)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0005014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0005014
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Expressive Description Logics. CoRR cs.LO/0005014 (2000)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0005017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0005017
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Reasoning with Individuals for the Description Logic SHIQ. CoRR cs.LO/0005017 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BaaderS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BaaderS99
Franz Baader, Ulrike Sattler:
Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HorrocksS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HorrocksS99
Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/LutzST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/LutzST99
Carsten Lutz, Ulrike Sattler, Stephan Tobies:
A Suggestion for an n-ary Description Logic. Description Logics 1999
[c11]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dmdw/FranconiS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dmdw/FranconiS99
Enrico Franconi, Ulrike Sattler:
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/HorrocksST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HorrocksST99
Ian Horrocks, Ulrike Sattler, Stephan Tobies:
Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180
1998
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - books/daglib/0002945
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0002945
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HorrocksS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HorrocksS98
Ian Horrocks, Ulrike Sattler:
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/BaaderS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BaaderS98
Franz Baader, Ulrike Sattler:
Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecis/HacidS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecis/HacidS98
Mohand-Said Hacid, Ulrike Sattler:
Modeling multidimensional database: a formal object-oriented approach. ECIS 1998: 247-259
1997
[c6]
- view
  - electronic edition @ kr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderS97
Franz Baader, Ulrike Sattler:
Description Logics with Aggregates and Concrete Domains. Description Logics 1997
1996
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderS96
Franz Baader, Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BaaderS96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BaaderS96a
Franz Baader, Ulrike Sattler:
Knowledge Representation in Process Engineering. Description Logics 1996: 74-78
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/BaaderS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BaaderS96
Franz Baader, Ulrike Sattler:
Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/Sattler96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/Sattler96
Ulrike Sattler:
A Concept Language Extended with Different Kinds of Transitive Roles. KI 1996: 333-345
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BaaderS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaaderS96
Franz Baader, Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339
1995
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BergeronS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BergeronS95
François Bergeron, Ulrike Sattler:
Constructible Differentially Finite Algebraic Series in Several Variables. Theor. Comput. Sci. 144(1&2): 59-65 (1995)

Coauthor Index

see FAQ

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.