-----------------------------------------------------------------
Equivalent classes axioms of class KCancelled: [EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> owl:Nothing )]
Equivalent classes axioms of class KFulfilled: [EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> owl:Nothing )]

---------------------------------------------------------------
Instances of Elasped: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst1>
Instances of Activated: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
Instances of Fulfilled: 
Instances of Violated: 
Instances of Cancelled: 
Equivalent classes axioms of class KFulfilled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> owl:Nothing )]
Equivalent classes axioms of class KCancelled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> owl:Nothing )]

---------------------------------------------------------------
Instances of Elasped: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst1>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst2>
Instances of Activated: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Fulfilled: 
Instances of Violated: 
Instances of Cancelled: 
Equivalent classes axioms of class KFulfilled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> owl:Nothing )]
Equivalent classes axioms of class KCancelled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> owl:Nothing )]

---------------------------------------------------------------
Instances of Elasped: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst1>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst3>
Instances of Activated: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Fulfilled: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Violated: 
Instances of Cancelled: 
Equivalent classes axioms of class KFulfilled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> ObjectOneOf(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>) )]
Equivalent classes axioms of class KCancelled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> owl:Nothing )]

---------------------------------------------------------------
Instances of Elasped: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst1>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst4>
Instances of Activated: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Fulfilled: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Violated: 
Instances of Cancelled: 
Equivalent classes axioms of class KFulfilled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> ObjectOneOf(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>) )]
Equivalent classes axioms of class KCancelled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> owl:Nothing )]

---------------------------------------------------------------
Instances of Elasped: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst1>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst5>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#inst4>
Instances of Activated: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Fulfilled: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1>
Instances of Violated: 
Instances of Cancelled: 
 <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>
Equivalent classes axioms of class KFulfilled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KFulfilled> ObjectOneOf(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-1> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2> <http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-3>) )]
Equivalent classes axioms of class KCancelled:
[EquivalentClasses(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#KCancelled> ObjectOneOf(<http://www.people.lu.unisi.ch/fornaran/ontologies/OntologyOBL.owl#obl-2>) )]