Takip et
Uli Sattler
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
cs.man.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
The Even More Irresistible SROIQ.
I Horrocks, O Kutz, U Sattler
Kr 6, 57-67, 2006
12112006
OWL 2: The next step for OWL
BC Grau, I Horrocks, B Motik, B Parsia, P Patel-Schneider, U Sattler
Journal of Web Semantics 6 (4), 309-322, 2008
11222008
OWL 2 web ontology language: Structural specification and functional-style syntax
B Motik, PF Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, ...
W3C recommendation 27 (65), 159, 2009
10732009
Description logics as ontology languages for the semantic web
F Baader, I Horrocks, U Sattler
Mechanizing mathematical reasoning, 228-248, 2005
8212005
Practical reasoning for expressive description logics
I Horrocks, U Sattler, S Tobies
International Conference on Logic for Programming Artificial Intelligence …, 1999
7881999
An overview of tableau algorithms for description logics
F Baader, U Sattler
Studia Logica 69 (1), 5-40, 2001
6592001
Query answering for OWL-DL with rules
B Motik, U Sattler, R Studer
Journal of Web Semantics 3 (1), 41-60, 2005
6272005
A Tableau Decision Procedure for
I Horrocks, U Sattler
Journal of automated reasoning 39 (3), 249-276, 2007
6262007
Ontology reasoning in the SHOQ (D) description logic
I Horrocks, U Sattler
IJCAI 1 (3), 199-204, 2001
5082001
Modular reuse of ontologies: Theory and practice
BC Grau, I Horrocks, Y Kazakov, U Sattler
Journal of Artificial Intelligence Research 31, 273-318, 2008
4932008
Practical reasoning for very expressive description logics
I Horrocks, U Sattler, S Tobies
Logic Journal of IGPL 8 (3), 239-263, 2000
4872000
Description logics
F Baader, I Horrocks, U Sattler
Foundations of Artificial Intelligence 3, 135-179, 2008
4712008
Description logics
F Baader, I Horrocks, U Sattler
Handbook on ontologies, 3-28, 2004
4482004
Introduction to description logic
F Baader, I Horrocks, C Lutz, U Sattler
Cambridge University Press, 2017
4292017
A description logic with transitive and inverse roles and role hierarchies
I Horrocks, U Sattler
Journal of logic and computation 9 (3), 385-410, 1999
422*1999
Reasoning with Individuals for the Description Logic
I Horrocks, U Sattler, S Tobies
International Conference on Automated Deduction, 482-496, 2000
4142000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
U Hustadt, B Motik, U Sattler
KR 4, 152-162, 2004
3592004
Bridging the gap between OWL and relational databases
B Motik, I Horrocks, U Sattler
Journal of Web Semantics 7 (2), 74-89, 2009
3382009
Conjunctive query answering for the description logic SHIQ
B Glimm, C Lutz, I Horrocks, U Sattler
Journal of artificial intelligence research 31, 157-204, 2008
3102008
Query answering for OWL-DL with rules
B Motik, U Sattler, R Studer
International Semantic Web Conference, 549-563, 2004
3032004
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20