Login / Signup
Deciding FO-Rewritability in EL.
Meghyn Bienvenu
Carsten Lutz
Frank Wolter
Published in:
Description Logics (2012)
Keyphrases
</>
description logics
first order logic
expressive power
knowledge base
knowledge representation
dl lite
semantic web
transitive closure
ontology languages
constraint query languages
artificial intelligence
query language
decision making
integrity constraints