Login / Signup
Reasoning about Nominals with FaCT and RACER.
Jan Hladik
Published in:
Description Logics (2003)
Keyphrases
</>
description logics
spatial reasoning
formal theory
expressive description logics
social networks
image processing
data structure
relational databases
first order logic