A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies.

Marta Cialdea Mayer

Published in: J. Autom. Reason. (2020)

Keyphrases

equivalence relation
expressive description logics
preference relations
fuzzy relations
real time
description logics
search algorithm
theorem proving
database
databases
real world
learning algorithm
knowledge base
hierarchical structure