Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates.

Mykola S. Nikitchenko Stepan S. Shkilniak

Published in: Comput. Sci. J. Moldova (2015)

Keyphrases

semantic properties
computational properties
expressive power
semantic knowledge
description logics
logic programs
modal logic
query language
first order logic
databases
prior knowledge
database
knowledge acquisition
semi automatic
expert systems
database systems
data mining