Transitive Roles is a syntactic construct in description logics that denotes a binary relation which, whenever it holds between a pair of individuals and also between the second individual and a third, necessarily holds between the first and the third, thereby enforcing the property of transitivity within the knowledge base.
30
Publications
1.4K
Citations
42
Authors
20
Institutions
Publications per year
2017–2026
2
Parents
Publications
30
RACE User's Guide and Reference Manual Version 1.1
Volker Haarslev, Moeller Ralf, Anni-Yasmin Turhan · 1999 · 78 citations
1–5 of 30
Authors
42
- IH
8
h-index
- VH
4
h-index
- BM
4
h-index
- GS
3
h-index
- US
3
h-index
1–5 of 42
Institutions
20
University of Manchester
Manchester, United Kingdom
7 h-index
12 publications
844 citations
University of Oxford
Oxford, United Kingdom
5 h-index
12 publications
301 citations
Free University of Bozen-Bolzano
Bolzano, Italy
4 h-index
7 publications
280 citations
University of Bremen
Bremen, Germany
3 h-index
3 publications
111 citations
TU Wien
Vienna, Austria
3 h-index
5 publications
285 citations
Concordia University
Montreal, Canada
2 h-index
2 publications
89 citations
University of California, Santa Cruz
Santa Cruz, United States
2 h-index
2 publications
52 citations
Southeast University
Nanjing, China
1 h-index
2 publications
22 citations
1–8 of 20
Venues
- Proceedings of the AAAI Conference on Artificial Intelligence
Conference · 2 publications · 42 citations
2
h-index
- Journal of Artificial Intelligence Research
JAIR · 2 publications · 133 citations
2
h-index
- Logical Methods in Computer Science
LMCS · 1 publications · 29 citations
1
h-index
- Research Explorer (The University of Manchester)
Repository · 1 publications · 20 citations
1
h-index
- Publications of the UdS (Saarland University)
Repository · 1 publications · 152 citations
1
h-index
1–5