Uli Sattler

Παρατίθεται από

	Όλα	Από το 2019
Παραθέσεις	23146	4756
h-index	67	31
i10-index	173	81

1600

800

400

1200

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202491 146 216 242 300 389 625 819 1203 1503 1393 1439 1401 1479 1362 1324 1135 1061 863 923 912 918 746 826 794 556

Δημόσια πρόσβαση

Προβολή όλων

8 άρθρα

0 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Ian HorrocksProfessor of Computer Science, University of OxfordΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα manchester.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tu-dresden.de
Carsten LutzProfessor of Computer Science, University of LeipzigΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-leipzig.de
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.ox.ac.uk
Stephan TobiesSynopsysΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tobies.info
Matthew HorridgeStanford UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα stanford.edu
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα liverpool.ac.uk
Yevgeny KazakovUniversity of UlmΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα liverpool.ac.uk
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uqu.edu.sa
Birte GlimmProf. of Computer Science, University of UlmΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni-ulm.de
Nicolas MatentzogluSemanticly (Independent Consultant)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα semanticly.ai
Oliver KutzFree University of Bozen-BolzanoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unibz.it
Chiara Del VescovoSenior Data Manager at BBCΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bbc.co.uk
Rafael S GonçalvesHarvard Medical SchoolΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα hms.harvard.edu
Phillip LordLecturer in Computing Science, Newcastle UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα newcastle.ac.uk

Παρακολούθηση

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.man.ac.uk - Αρχική σελίδα

Description Logics Ontology Engineering Automated Reasoning


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1322	2006
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	1267	2008
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	1061	2009
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on …, 2005	869	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies International Conference on Logic for Programming Artificial Intelligence …, 1999	803	1999
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	740	2017
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	675	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	654	2005
A tableau decision procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	639	2007
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	554	2008
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	531	2008
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	531	2001
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	511	2004
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	497	2000
A systematic review of automatic question generation for educational purposes G Kurdi, J Leo, B Parsia, U Sattler, S Al-Emari International Journal of Artificial Intelligence in Education 30, 121-204, 2020	463	2020
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	434*	1999
Reasoning with individuals for the description logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000	418	2000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004	369	2004
Bridging the gap between OWL and relational databases B Motik, I Horrocks, U Sattler Proceedings of the 16th international conference on World Wide Web, 807-816, 2007	360	2007
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	336	2008

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς