The loop formula based semantics of description logic programs.

Yisong Wang Jia-Huai You Li-Yan Yuan Yi-Dong Shen Mingyi Zhang

Published in: Theor. Comput. Sci. (2012)

Keyphrases

description logic programs
dl programs
description logics
logic programming
logic programs
data complexity
formal semantics
ontology mappings
conjunctive queries
dl lite
database
metadata
semantic information
first order logic
conceptual model
operational semantics