Sign in
Graph-based ontology reasoning for formal verification of BREEAM rules.
Bernard Kamsu-Foguem
Fonbeyin Henry Abanda
Mamadou Bilo Doumbouya
Justine Flore Tchouanguem Djuedja
Published in:
Cogn. Syst. Res. (2019)
Keyphrases
</>
formal verification
ontology reasoning
model checking
bounded model checking
model checker
description logics
association rules
symbolic model checking
automated verification
semi supervised
formal specification
conceptual graphs
machine learning
knowledge base
logic programming