Torsten Schmale

Learn More
Executive Summary Deliverable D1.9 is a prototype of a reasoning engine for the WSML-Flight language variant. It allows for inferencing according to the semantics of WSML-Flight defined in deliverable D1.7. This document serves as a fact sheet for the WSML-Flight Reasoner implementation based on KAON2 as its underlying inference engine. It outlines the(More)
  • 1