RACCOON: A Connection Reasoner for the Description Logic ALC.

Dimas Melo Filho Fred Freitas Jens Otten

Published in: LPAR (2017)

Keyphrases

description logic alc
description logics
modal logic
knowledge base
website
expert systems
query answering
database
databases
real time
search engine
computer vision
information systems
knowledge based systems
database design
meta reasoning