A software system that is able to logically derive new data that follows from the data that is explicitly given and an ontology (given, e.g. as a set of rules or OWL 2 axioms).