Login / Signup
Rewriting Rules into SROIQ Axioms.
Francis Gasse
Ulrike Sattler
Volker Haarslev
Published in:
Description Logics (2008)
Keyphrases
</>
rewriting rules
description logics
knowledge base
expressive description logics
rewrite rules
transformation rules
knowledge representation
first order logic
structural properties
sparql queries
semantic web
expert systems
machine learning
expressive power