Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1805.01396
Cited By
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
3 May 2018
David Tena Cucala
Bernardo Cuenca Grau
Ian Horrocks
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals"
2 / 2 papers shown
Union and Intersection of all Justifications
Description Logics (DL), 2021
Jieying Chen
Yue Ma
Rafael Peñaloza
Hui Yang
75
4
0
23 Sep 2021
Handling Nominals and Inverse Roles using Algebraic Reasoning
Humaira Farid
Volker Haarslev
51
1
0
01 Oct 2018
1
Page 1 of 1
