Instance Checking is a reasoning task in Description Logics that determines whether a given individual is entailed to be a member of a specified concept based on a knowledge base.
21
Publications
1.7K
Citations
50
Authors
35
Institutions
Publications per year
2017–2026
0
Parents
Publications
21
2009 · 495 citations
Reducing SHIQ - description logic to disjunctive datalog programs
Ullrich Hustadt, Boris Motik, Ulrike Sattler · 2004 · 212 citations
On Conjunctive Query Answering in EL.
Riccardo Rosati · Description Logics · 2007 · 121 citations
1–5 of 21
Authors
50
- AS
3
h-index
- MB
2
h-index
- FM
2
h-index
- BM
2
h-index
- UH
2
h-index
1–5 of 50
Institutions
35
Sapienza University of Rome
Rome, Italy
5 h-index
8 publications
1K citations
University of Liverpool
Liverpool, United Kingdom
3 h-index
3 publications
260 citations
German Research Centre for Artificial Intelligence
Kaiserslautern, Germany
2 h-index
4 publications
521 citations
University of Manchester
Manchester, United Kingdom
2 h-index
2 publications
248 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
1 h-index
1 publications
212 citations
Technische Universität Dresden
Dresden, Germany
1 h-index
1 publications
36 citations
Ruđer Bošković Institute
Zagreb, Croatia
1 h-index
1 publications
29 citations
Hunan University
Changsha, China
1 h-index
2 publications
26 citations
1–8 of 35
Venues
- Applied Ontology
1 publications · 31 citations
1
h-index
- Journal of Intelligent Information Systems
1 publications · 126 citations
1
h-index
- Description Logics
1 publications · 121 citations
1
h-index
- Journal of Artificial Intelligence Research
JAIR · 1 publications · 109 citations
1
h-index
- Journal of Computer Science and Technology
1 publications · 59 citations
1
h-index
1–5