Action Based ABox Update: an Example from the Chemical Compound Formulation.

Alessandro Mosca Matteo Palmonari

Published in: Description Logics (2007)

Keyphrases

description logics
internal state
knowledge base
data structure
mixed integer
databases
neural network
natural language
human actions
action selection
expressive description logics
terminological reasoning