A characterization of symmetric semantics by domain complementation.

Roberto Giacobazzi Isabella Mastroeni

Published in: PPDP (2000)

Keyphrases

formal semantics
domain specific
domain independent
artificial intelligence
high level
logic programming
semantic information
domain ontology
transformation rules
real time
transitive closure
cross domain
conceptual model
integrity constraints
object oriented
data sources
learning algorithm
databases