http://www.estrellaproject.org/lkif-core/expression.owl#Problem
Class expression:Problem

Annotations
rdfs:comment
NOTE: This currently cannot be expressed: OWL DL does not support negation of properties. The definition will be further elaborated once OWL 1.1 is supported by development tools.
A problem is an observation that deviates from an Intention.

Class Axioms
rdfs:subClassOf
expression:Observation

Other Properties
rdf:type
owl:Class

References

Generated with TopBraid Composer by TopQuadrant, Inc.