Ontological Reasoning as an Enabler of Contract-Based Co-design.

Ken Vanherpen Joachim Denil Paul De Meulenaere Hans Vangheluwe

Published in: CyPhy (2016)

Keyphrases

ontological reasoning
domain knowledge
computational properties
ontology matching
logic programming
supply chain
general purpose
logic programs
domain experts
description logics
domain ontology
semantic relations
multimedia databases