Relating Semantic and Proof-Theoretic Concepts for Polynominal Time Decidability of Uniform Word Problems.

Harald Ganzinger

Published in: LICS (2001)

Keyphrases

word problems
proof theoretic
description logics
model theoretic
semantic information
linear logic
domain ontology
proof theory
semantic web
owl ontologies
natural language
default reasoning
nonmonotonic reasoning
similar problems
decision procedures
high level
belief revision
domain knowledge
learning environment