conftrace_

consequence-based reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ontology reasoning (1) logical deduction (1) ontological reasoning (1) description logic (1) knowledge representation (1)

Papers

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018