Login / Signup
A DL Semantics for Reasoning over OVM-based Variability Models.
Germán Alejandro Braun
Matias Pol'la
Laura Andrea Cecchi
Agustina Buccella
Pablo R. Fillottrani
Alejandra Cechich
Published in:
Description Logics (2017)
Keyphrases
</>
reasoning tasks
computational properties
description logics
logic programming
model construction
knowledge base
metadata
semantic information
default reasoning
qualitative models
logical framework
reasoning systems
formal models
software product line
open world
description logic programs