MIS <0> : 
  [0] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Country>)
  [1] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [2] EquivalentClasses(<http://edas#ConferenceDinner> <http://iasted#Conference_city> )
  [3] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [4] SubClassOf(<http://iasted#Conference_city> <http://iasted#City>)
  [5] SubClassOf(<http://edas#ConferenceDinner> <http://edas#MealEvent>)
  [6] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [7] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)

MIS <1> : 
  [0] SubClassOf(<http://edas#SecurityTopic> <http://edas#Topic>)
  [1] EquivalentClasses(<http://edas#ConferenceDinner> <http://iasted#Conference_city> )
  [2] EquivalentClasses(<http://edas#SecurityTopic> <http://iasted#Activity> )
  [3] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Topic>)
  [4] SubClassOf(<http://iasted#Conference_activity> <http://iasted#Activity>)
  [5] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [6] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [7] SubClassOf(<http://edas#ConferenceDinner> <http://edas#MealEvent>)
  [8] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [9] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)

MIS <2> : 
  [0] ObjectPropertyRange(<http://edas#isProviderOf> <http://edas#Sponsorship>)
  [1] EquivalentClasses(<http://edas#AccommodationPlace> <http://iasted#Delegate> )
  [2] SubClassOf(<http://edas#AccommodationPlace> <http://edas#Place>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [5] DisjointClasses(<http://edas#Place> <http://edas#Sponsorship>)
  [6] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [7] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [8] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <3> : 
  [0] EquivalentClasses(<http://edas#Person> <http://iasted#Person> )
  [1] EquivalentClasses(<http://edas#AccommodationPlace> <http://iasted#Delegate> )
  [2] SubClassOf(<http://edas#AccommodationPlace> <http://edas#Place>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] DisjointClasses(<http://edas#Person> <http://edas#Place>)
  [5] ObjectPropertyRange(<http://iasted#is_visited_by> <http://iasted#Person>)
  [6] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <4> : 
  [0] EquivalentClasses(<http://edas#RatedPapers> <http://iasted#Item> )
  [1] SubClassOf(<http://edas#ActivePaper> <http://edas#Paper>)
  [2] SubClassOf(<http://edas#Paper> <http://edas#Document>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [5] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [6] EquivalentObjectProperties(<http://edas#providedBy> <http://iasted#is_paid_with> )
  [7] ObjectPropertyRange(<http://edas#providedBy> <http://edas#Organization>)
  [8] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [9] SubClassOf(<http://edas#RatedPapers> <http://edas#ActivePaper>)
  [10] ObjectPropertyRange(<http://iasted#is_paid_with> <http://iasted#Item>)
  [11] DisjointClasses(<http://edas#Document> <http://edas#Organization>)
  [12] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [13] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <5> : 
  [0] EquivalentClasses(<http://edas#AccommodationPlace> <http://iasted#Delegate> )
  [1] SubClassOf(<http://edas#AccommodationPlace> <http://edas#Place>)
  [2] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [5] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [6] DisjointClasses(<http://edas#Place> <http://edas#Sponsorship>)
  [7] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [8] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [9] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <6> : 
  [0] ObjectPropertyRange(<http://edas#providedBy> <http://edas#Organization>)
  [1] DisjointClasses(<http://edas#Organization> <http://edas#ReviewRating>)
  [2] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] EquivalentClasses(<http://edas#ReviewRating> ObjectUnionOf(<http://edas#AcceptRating> <http://edas#AccpetIfRoomRating> <http://edas#RejectRating> <http://edas#WeekRejectRating>) )
  [5] EquivalentClasses(<http://edas#AcceptRating> <http://iasted#Registration_fee> )
  [6] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [7] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [8] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [9] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <7> : 
  [0] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#need> <http://iasted#Viza>))
  [1] SubClassOf(<http://edas#AcademicEvent> <http://edas#ConferenceEvent>)
  [2] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [4] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [5] InverseObjectProperties(<http://iasted#is_needed_for> <http://iasted#need>)
  [6] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [7] ObjectPropertyRange(<http://edas#forEvent> <http://edas#AcademicEvent>)
  [8] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Sponsorship>)
  [9] EquivalentObjectProperties(<http://edas#forEvent> <http://iasted#is_needed_for> )
  [10] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [11] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [12] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <8> : 
  [0] DisjointClasses(<http://edas#Organization> <http://edas#ReviewRating>)
  [1] ObjectPropertyDomain(<http://edas#isProviderOf> <http://edas#Organization>)
  [2] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] EquivalentClasses(<http://edas#ReviewRating> ObjectUnionOf(<http://edas#AcceptRating> <http://edas#AccpetIfRoomRating> <http://edas#RejectRating> <http://edas#WeekRejectRating>) )
  [4] EquivalentClasses(<http://edas#AcceptRating> <http://iasted#Registration_fee> )
  [5] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [6] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [7] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))
  [8] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <9> : 
  [0] EquivalentClasses(<http://edas#ReviewRating> <http://iasted#Hotel_registration_form> )
  [1] DisjointClasses(<http://edas#Organization> <http://edas#ReviewForm>)
  [2] ObjectPropertyDomain(<http://edas#isProviderOf> <http://edas#Organization>)
  [3] SubClassOf(<http://edas#AcceptRating> <http://edas#ReviewRating>)
  [4] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [5] EquivalentClasses(<http://edas#AcceptRating> <http://iasted#Registration_fee> )
  [6] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [7] EquivalentClasses(<http://edas#ReviewForm> <http://iasted#Form> )
  [8] SubClassOf(<http://iasted#Hotel_registration_form> <http://iasted#Form>)
  [9] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [10] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [11] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <10> : 
  [0] EquivalentClasses(<http://edas#FreeTimeBreak> <http://iasted#Time> )
  [1] SubClassOf(<http://edas#BreakEvent> <http://edas#NonAcademicEvent>)
  [2] SubClassOf(<http://edas#MultimediaTopic> <http://edas#Topic>)
  [3] EquivalentClasses(<http://edas#MultimediaTopic> <http://iasted#Trip_day> )
  [4] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Topic>)
  [5] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [6] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [7] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [8] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [9] EquivalentClasses(<http://edas#BreakEvent> ObjectUnionOf(<http://edas#CoffeeBreak> <http://edas#FreeTimeBreak> <http://edas#MealBreak>) )
  [10] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [11] SubClassOf(<http://iasted#Trip_day> <http://iasted#Time>)

MIS <11> : 
  [0] EquivalentObjectProperties(<http://edas#providedBy> <http://iasted#is_paid_with> )
  [1] SubClassOf(<http://iasted#Fee> ObjectSomeValuesFrom(<http://iasted#is_paid_with> ObjectUnionOf(<http://iasted#Credit_card> <http://iasted#Payment_document>)))
  [2] SubClassOf(<http://edas#AcceptRating> <http://edas#ReviewRating>)
  [3] SubClassOf(<http://iasted#Registration_fee> <http://iasted#Fee>)
  [4] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [5] EquivalentClasses(<http://edas#AcceptRating> <http://iasted#Registration_fee> )
  [6] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [7] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [8] DisjointClasses(<http://edas#ReviewRating> <http://edas#Sponsorship>)
  [9] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <12> : 
  [0] EquivalentClasses(<http://edas#GovernmentOrganization> <http://iasted#Registation_deadline> )
  [1] SubClassOf(<http://edas#GovernmentOrganization> <http://edas#Organization>)
  [2] ObjectPropertyDomain(<http://edas#isProviderOf> <http://edas#Organization>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] SubClassOf(<http://iasted#Registration_form> ObjectSomeValuesFrom(<http://iasted#is_sent_before> <http://iasted#Registation_deadline>))
  [5] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [6] SubClassOf(<http://iasted#Registation_deadline> <http://iasted#Deadline>)
  [7] SubClassOf(<http://edas#MedicineTopic> <http://edas#Topic>)
  [8] EquivalentClasses(<http://edas#Organization> <http://iasted#Registration_form> )
  [9] DisjointClasses(<http://edas#Organization> <http://edas#Topic>)
  [10] EquivalentClasses(<http://edas#MedicineTopic> <http://iasted#Deadline> )
  [11] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [12] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [13] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <13> : 
  [0] SubClassOf(<http://iasted#Registration_form> <http://iasted#Form>)
  [1] EquivalentClasses(<http://edas#ReviewForm> <http://iasted#Form> )
  [2] EquivalentClasses(<http://edas#Organization> <http://iasted#Registration_form> )
  [3] DisjointClasses(<http://edas#Organization> <http://edas#ReviewForm>)
  [4] ObjectPropertyDomain(<http://edas#isProviderOf> <http://edas#Organization>)
  [5] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [6] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [7] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [8] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [9] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_by> <http://iasted#Delegate>))

MIS <14> : 
  [0] SubClassOf(<http://iasted#Registration> <http://iasted#Conference_activity>)
  [1] EquivalentClasses(<http://edas#ReviewQuestion> <http://iasted#Registration> )
  [2] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [4] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [5] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [6] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#ReviewQuestion>)
  [7] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [8] EquivalentClasses(<http://iasted#Delegate> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Registration>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_building>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_days>)) )

MIS <15> : 
  [0] EquivalentClasses(<http://edas#Topic> <http://iasted#One_conference_day> )
  [1] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [2] SubClassOf(<http://iasted#One_conference_day> <http://iasted#Conference_days>)
  [3] EquivalentClasses(<http://edas#Conference> <http://iasted#Conference_building> )
  [4] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [5] SubClassOf(<http://edas#Conference> ObjectExactCardinality(1 <http://edas#hasTopic> owl:Thing))
  [6] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Topic>)
  [7] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [8] ObjectPropertyRange(<http://edas#hasTopic> <http://edas#Topic>)
  [9] EquivalentClasses(<http://iasted#Delegate> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Registration>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_building>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_days>)) )

MIS <16> : 
  [0] SubClassOf(<http://edas#PublishedPaper> <http://edas#Paper>)
  [1] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#occupy> <http://iasted#Presenter_house>))
  [2] EquivalentClasses(<http://edas#PendingPaper> <http://iasted#Audiovisual_equipment> )
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] EquivalentClasses(<http://edas#PublishedPaper> <http://iasted#Presenter_house> )
  [5] DisjointClasses(<http://edas#PendingPaper> <http://edas#PublishedPaper>)
  [6] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [7] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [8] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <17> : 
  [0] SubClassOf(<http://iasted#Memeber_registration_fee> <http://iasted#Registration_fee>)
  [1] EquivalentClasses(<http://edas#TwoLevelConference> <http://iasted#Conference_Hiker> )
  [2] EquivalentClasses(<http://iasted#IASTED_member> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Memeber_registration_fee>) )
  [3] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [4] DisjointClasses(<http://edas#AcceptRating> <http://edas#WeekRejectRating>)
  [5] EquivalentClasses(<http://edas#WeekRejectRating> <http://iasted#Memeber_registration_fee> )
  [6] EquivalentClasses(<http://edas#TPCMember> <http://iasted#IASTED_member> )
  [7] EquivalentClasses(<http://edas#TwoLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectSomeValuesFrom(<http://edas#hasMember> <http://edas#TPCMember>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [8] EquivalentClasses(<http://edas#AcceptRating> <http://iasted#Registration_fee> )
  [9] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <18> : 
  [0] EquivalentClasses(<http://edas#TwoLevelConference> <http://iasted#Conference_Hiker> )
  [1] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [2] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [3] DisjointClasses(<http://edas#Conference> <http://edas#Sponsorship>)
  [4] EquivalentClasses(<http://edas#TwoLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectSomeValuesFrom(<http://edas#hasMember> <http://edas#TPCMember>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [5] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [6] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [7] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [8] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [9] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [10] SubClassOf(<http://iasted#Conference_Hiker> <http://iasted#Delegate>)

MIS <19> : 
  [0] SubClassOf(<http://edas#DiningPlace> <http://edas#Place>)
  [1] DisjointClasses(<http://edas#Conference> <http://edas#Place>)
  [2] EquivalentClasses(<http://edas#Conference> <http://iasted#Conference_building> )
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] EquivalentClasses(<http://edas#DiningPlace> <http://iasted#Building> )
  [5] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [6] SubClassOf(<http://iasted#Conference_building> <http://iasted#Building>)
  [7] EquivalentClasses(<http://iasted#Delegate> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Registration>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_building>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_days>)) )

MIS <20> : 
  [0] SubClassOf(<http://iasted#IASTED_member> <http://iasted#Delegate>)
  [1] DisjointClasses(<http://edas#Conference> <http://edas#Place>)
  [2] EquivalentClasses(<http://edas#Conference> <http://iasted#Conference_building> )
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] EquivalentClasses(<http://edas#SingleLevelConference> <http://iasted#Conference_hall> )
  [5] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [6] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [7] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [8] DisjointClasses(<http://edas#Person> <http://edas#Sponsorship>)
  [9] SubClassOf(<http://iasted#Conference_hall> <http://iasted#Place>)
  [10] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [11] EquivalentClasses(<http://edas#SingleLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectComplementOf(<http://edas#TwoLevelConference>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [12] EquivalentClasses(<http://edas#TPCMember> <http://iasted#IASTED_member> )
  [13] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [14] EquivalentClasses(<http://edas#TwoLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectSomeValuesFrom(<http://edas#hasMember> <http://edas#TPCMember>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [15] ObjectPropertyRange(<http://edas#hasMember> <http://edas#Person>)
  [16] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [17] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [18] EquivalentClasses(<http://iasted#Delegate> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Registration>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_building>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_days>)) )

MIS <21> : 
  [0] DisjointClasses(<http://edas#Conference> <http://edas#Place>)
  [1] EquivalentClasses(<http://edas#Conference> <http://iasted#Conference_building> )
  [2] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] EquivalentClasses(<http://edas#SingleLevelConference> <http://iasted#Conference_hall> )
  [4] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [5] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [6] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [7] DisjointClasses(<http://edas#Person> <http://edas#Sponsorship>)
  [8] SubClassOf(<http://iasted#Conference_hall> <http://iasted#Place>)
  [9] EquivalentClasses(<http://iasted#IASTED_member> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Memeber_registration_fee>) )
  [10] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [11] EquivalentClasses(<http://edas#SingleLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectComplementOf(<http://edas#TwoLevelConference>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [12] EquivalentClasses(<http://edas#TPCMember> <http://iasted#IASTED_member> )
  [13] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [14] EquivalentClasses(<http://edas#TwoLevelConference> ObjectIntersectionOf(<http://edas#Conference> ObjectSomeValuesFrom(<http://edas#hasMember> <http://edas#TPCMember>) ObjectAllValuesFrom(<http://edas#hasMember> <http://edas#Person>)) )
  [15] ObjectPropertyRange(<http://edas#hasMember> <http://edas#Person>)
  [16] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [17] EquivalentClasses(<http://iasted#Delegate> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Registration>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_building>) ObjectSomeValuesFrom(<http://iasted#is_present_in> <http://iasted#Conference_days>)) )

MIS <22> : 
  [0] SubClassOf(<http://iasted#Presenter_house> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Presenter_state>))
  [1] EquivalentObjectProperties(<http://edas#hasProgramme> <http://iasted#prepare> )
  [2] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Person>)
  [3] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [4] EquivalentClasses(<http://edas#Author> ObjectIntersectionOf(<http://edas#Person> ObjectSomeValuesFrom(<http://edas#hasRelatedDocument> <http://edas#Paper>)) )
  [5] SubClassOf(<http://edas#Presenter> <http://edas#Author>)
  [6] EquivalentClasses(<http://edas#Presenter> <http://iasted#Presenter_state> )
  [7] EquivalentClasses(<http://edas#Author> <http://iasted#Author> )
  [8] SubClassOf(<http://iasted#Author> ObjectSomeValuesFrom(<http://iasted#prepare> <http://iasted#Transparency>))
  [9] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#occupy> <http://iasted#Presenter_house>))
  [10] ObjectPropertyDomain(<http://edas#hasProgramme> <http://edas#ConferenceEvent>)
  [11] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <23> : 
  [0] SubClassOf(<http://edas#Presenter> <http://edas#Author>)
  [1] EquivalentObjectProperties(<http://edas#hasProgramme> <http://iasted#prepare> )
  [2] EquivalentClasses(<http://edas#Presenter> <http://iasted#Presenter_state> )
  [3] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Person>)
  [4] EquivalentClasses(<http://edas#Author> <http://iasted#Author> )
  [5] SubClassOf(<http://iasted#Author> ObjectSomeValuesFrom(<http://iasted#prepare> <http://iasted#Transparency>))
  [6] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#occupy> <http://iasted#Presenter_state>))
  [7] ObjectPropertyDomain(<http://edas#hasProgramme> <http://edas#ConferenceEvent>)
  [8] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [9] EquivalentClasses(<http://edas#Author> ObjectIntersectionOf(<http://edas#Person> ObjectSomeValuesFrom(<http://edas#hasRelatedDocument> <http://edas#Paper>)) )
  [10] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)

MIS <24> : 
  [0] ObjectPropertyDomain(<http://edas#hasRelatedPaper> <http://edas#Author>)
  [1] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [2] EquivalentClasses(<http://edas#ConferenceDinner> <http://iasted#Conference_city> )
  [3] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Person>)
  [4] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [5] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [6] SubClassOf(<http://edas#ConferenceDinner> <http://edas#MealEvent>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [9] EquivalentClasses(<http://edas#Author> ObjectIntersectionOf(<http://edas#Person> ObjectSomeValuesFrom(<http://edas#hasRelatedDocument> <http://edas#Paper>)) )
  [10] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <25> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [2] EquivalentClasses(<http://edas#ConferenceDinner> <http://iasted#Conference_city> )
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] SubClassOf(<http://edas#Paper> <http://edas#Document>)
  [5] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [6] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [7] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Document>)
  [8] SubClassOf(<http://edas#ConferenceDinner> <http://edas#MealEvent>)
  [9] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [10] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <26> : 
  [0] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [1] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [2] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [3] ObjectPropertyRange(<http://edas#hasMenu> <http://edas#MealMenu>)
  [4] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [5] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Document>)
  [6] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [7] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )
  [8] SubClassOf(<http://edas#MealMenu> <http://edas#Document>)
  [9] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <27> : 
  [0] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [1] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [2] InverseObjectProperties(<http://edas#hasMenu> <http://edas#isMenuOf>)
  [3] ObjectPropertyRange(<http://edas#isMenuOf> <http://edas#MealEvent>)
  [4] DisjointClasses(<http://edas#AcademicEvent> <http://edas#NonAcademicEvent>)
  [5] EquivalentClasses(<http://edas#AcademicEvent> <http://iasted#Activity_after_conference> )
  [6] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [9] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )
  [10] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <28> : 
  [0] EquivalentClasses(<http://edas#Excursion> <http://iasted#Full_day_tour> )
  [1] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [2] SubClassOf(<http://edas#Excursion> <http://edas#SocialEvent>)
  [3] DisjointClasses(<http://edas#AcademicEvent> <http://edas#NonAcademicEvent>)
  [4] SubClassOf(<http://edas#SocialEvent> <http://edas#NonAcademicEvent>)
  [5] EquivalentClasses(<http://edas#AcademicEvent> <http://iasted#Activity_after_conference> )
  [6] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [7] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [8] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <29> : 
  [0] SubClassOf(<http://edas#Excursion> <http://edas#SocialEvent>)
  [1] SubClassOf(<http://iasted#Social_program> <http://iasted#Conference_activity>)
  [2] EquivalentClasses(<http://edas#AcademicEvent> <http://iasted#Activity_after_conference> )
  [3] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [4] EquivalentClasses(<http://edas#SocialEvent> <http://iasted#Social_program> )
  [5] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [6] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [7] EquivalentClasses(<http://edas#Excursion> <http://iasted#Full_day_tour> )
  [8] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [9] DisjointClasses(<http://edas#AcademicEvent> <http://edas#NonAcademicEvent>)
  [10] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [11] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)

MIS <30> : 
  [0] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [1] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [2] DisjointClasses(<http://edas#AcademicEvent> <http://edas#NonAcademicEvent>)
  [3] EquivalentClasses(<http://edas#AcademicEvent> <http://iasted#Activity_after_conference> )
  [4] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [5] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [6] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [7] ObjectPropertyDomain(<http://edas#hasMenu> <http://edas#MealEvent>)
  [8] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )
  [9] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <31> : 
  [0] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [1] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [2] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [3] InverseObjectProperties(<http://edas#hasMenu> <http://edas#isMenuOf>)
  [4] ObjectPropertyDomain(<http://edas#isMenuOf> <http://edas#MealMenu>)
  [5] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [6] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Document>)
  [7] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [8] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )
  [9] SubClassOf(<http://edas#MealMenu> <http://edas#Document>)
  [10] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))

MIS <32> : 
  [0] EquivalentClasses(<http://edas#Document> <http://iasted#Document> )
  [1] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [2] EquivalentClasses(<http://edas#MealMenu> <http://iasted#Payment_document> )
  [3] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Document>)
  [4] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [5] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [6] SubClassOf(<http://iasted#Payment_document> <http://iasted#Document>)
  [7] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [8] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [9] InverseObjectProperties(<http://edas#hasMenu> <http://edas#isMenuOf>)
  [10] ObjectPropertyDomain(<http://edas#isMenuOf> <http://edas#MealMenu>)
  [11] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [12] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )

MIS <33> : 
  [0] EquivalentClasses(<http://edas#Document> <http://iasted#Document> )
  [1] SubClassOf(<http://iasted#Activity_after_conference> ObjectSomeValuesFrom(<http://iasted#is_held_after> <http://iasted#Conference_days>))
  [2] EquivalentClasses(<http://edas#MealMenu> <http://iasted#Payment_document> )
  [3] DisjointClasses(<http://edas#ConferenceSession> <http://edas#Document>)
  [4] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [5] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [6] SubClassOf(<http://iasted#Payment_document> <http://iasted#Document>)
  [7] EquivalentClasses(<http://edas#ConferenceSession> <http://iasted#Conference_days> )
  [8] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [9] ObjectPropertyRange(<http://edas#hasMenu> <http://edas#MealMenu>)
  [10] SubClassOf(<http://iasted#Full_day_tour> <http://iasted#Activity_after_conference>)
  [11] EquivalentObjectProperties(<http://edas#hasMenu> <http://iasted#is_held_after> )

MIS <34> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#ConferenceDinner> <http://iasted#Conference_city> )
  [2] InverseObjectProperties(<http://edas#hasRelatedPaper> <http://edas#isWrittenBy>)
  [3] ObjectPropertyRange(<http://edas#isWrittenBy> <http://edas#Author>)
  [4] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Person>)
  [5] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [6] SubClassOf(<http://edas#ConferenceDinner> <http://edas#MealEvent>)
  [7] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [8] EquivalentClasses(<http://edas#Author> ObjectIntersectionOf(<http://edas#Person> ObjectSomeValuesFrom(<http://edas#hasRelatedDocument> <http://edas#Paper>)) )
  [9] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [10] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [11] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <35> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] InverseObjectProperties(<http://edas#hasRelatedPaper> <http://edas#isWrittenBy>)
  [2] ObjectPropertyRange(<http://edas#isWrittenBy> <http://edas#Author>)
  [3] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#Person>)
  [4] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [5] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [6] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [7] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [8] EquivalentClasses(<http://edas#Author> ObjectIntersectionOf(<http://edas#Person> ObjectSomeValuesFrom(<http://edas#hasRelatedDocument> <http://edas#Paper>)) )
  [9] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [10] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [11] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [12] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [13] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <36> : 
  [0] EquivalentObjectProperties(<http://edas#hasRelatedDocument> <http://iasted#is_signed_by> )
  [1] ObjectPropertyRange(<http://edas#hasRelatedDocument> <http://edas#Document>)
  [2] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [3] DisjointClasses(<http://edas#Document> <http://edas#Sponsorship>)
  [4] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [5] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [6] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [7] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [8] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [9] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [10] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_signed_by> <http://iasted#Listener>))
  [11] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [12] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [13] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [14] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [15] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [16] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [17] SubClassOf(<http://iasted#Listener> <http://iasted#Delegate>)
  [18] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [19] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [20] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [21] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [22] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <37> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [2] SubClassOf(<http://iasted#Conference_state> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [4] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [5] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [6] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [7] SubClassOf(<http://iasted#Speaker> <http://iasted#Delegate>)
  [8] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [9] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [10] EquivalentClasses(<http://edas#NumericalReviewQuestion> <http://iasted#Speaker> )
  [11] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [12] SubClassOf(<http://edas#NumericalReviewQuestion> <http://edas#ReviewQuestion>)
  [13] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [14] DisjointClasses(<http://edas#ReviewQuestion> <http://edas#Sponsorship>)
  [15] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [16] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [17] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [18] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [19] ClassAssertion(<http://iasted#Conference_state> <http://iasted#Mexico>)
  [20] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <38> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] ObjectPropertyDomain(<http://edas#providedBy> <http://edas#Sponsorship>)
  [3] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [4] SubClassOf(<http://iasted#Speaker> <http://iasted#Delegate>)
  [5] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [6] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [7] EquivalentClasses(<http://edas#NumericalReviewQuestion> <http://iasted#Speaker> )
  [8] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [9] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [10] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [11] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [12] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [13] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [14] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [15] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [16] InverseObjectProperties(<http://iasted#is_paid_by> <http://iasted#pay>)
  [17] EquivalentObjectProperties(<http://edas#isProviderOf> <http://iasted#is_paid_by> )
  [18] InverseObjectProperties(<http://edas#isProviderOf> <http://edas#providedBy>)
  [19] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [20] SubClassOf(<http://edas#NumericalReviewQuestion> <http://edas#ReviewQuestion>)
  [21] DisjointClasses(<http://edas#ReviewQuestion> <http://edas#Sponsorship>)
  [22] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [23] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <39> : 
  [0] EquivalentClasses(<http://edas#Document> <http://iasted#Document> )
  [1] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [2] SubClassOf(<http://iasted#Record_of_attendance> <http://iasted#Document>)
  [3] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [4] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [5] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [6] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [7] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [8] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [9] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [10] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [11] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [12] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [13] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [14] DisjointClasses(<http://edas#Document> <http://edas#Topic>)
  [15] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [16] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [17] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [18] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [19] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [20] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [21] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <40> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#NGO> <http://iasted#Session_room> )
  [2] SubClassOf(<http://edas#NGO> <http://edas#Organization>)
  [3] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [4] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [5] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [6] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [7] DisjointClasses(<http://edas#Organization> <http://edas#Place>)
  [8] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [9] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [10] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [11] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [12] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [13] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [14] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [15] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [16] SubClassOf(<http://iasted#Session_room> <http://iasted#Place>)
  [17] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [18] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [19] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [20] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <41> : 
  [0] SubClassOf(<http://edas#CallForManuscripts> <http://edas#Call>)
  [1] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#write> <http://iasted#Final_manuscript>))
  [2] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [3] DisjointClasses(<http://edas#Call> <http://edas#Document>)
  [4] SubClassOf(<http://iasted#Bank_transfer> <http://iasted#Payment_document>)
  [5] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [6] EquivalentClasses(<http://edas#CallForManuscripts> <http://iasted#Final_manuscript> )
  [7] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [8] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [9] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [10] EquivalentClasses(<http://edas#Call> <http://iasted#Bank_transfer> )
  [11] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [12] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [13] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [14] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [15] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [16] EquivalentClasses(<http://edas#MealMenu> <http://iasted#Payment_document> )
  [17] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [18] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [19] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [20] SubClassOf(<http://edas#MealMenu> <http://edas#Document>)
  [21] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [22] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [23] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <42> : 
  [0] DisjointClasses(<http://edas#ConferenceEvent> <http://edas#ReviewRating>)
  [1] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#write> <http://iasted#Final_manuscript>))
  [2] SubClassOf(<http://iasted#Final_manuscript> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Accepting_manuscript>))
  [3] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [4] SubClassOf(<http://iasted#Accepting_manuscript> <http://iasted#Activity_before_conference>)
  [5] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [6] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [7] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [8] SubClassOf(<http://edas#NonAcademicEvent> <http://edas#ConferenceEvent>)
  [9] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [10] EquivalentClasses(<http://edas#RejectRating> <http://iasted#Accepting_manuscript> )
  [11] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [12] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [13] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [14] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [15] SubClassOf(<http://edas#RejectRating> <http://edas#ReviewRating>)
  [16] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [17] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [18] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [19] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [20] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [21] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))

MIS <43> : 
  [0] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#write> <http://iasted#Final_manuscript>))
  [1] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [2] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [3] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [4] DisjointClasses(<http://edas#Document> <http://edas#ReviewQuestion>)
  [5] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [6] EquivalentObjectProperties(<http://edas#relatesTo> <http://iasted#write> )
  [7] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [8] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [9] ObjectPropertyDomain(<http://edas#relatesTo> <http://edas#Document>)
  [10] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [11] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [12] EquivalentClasses(<http://edas#NumericalReviewQuestion> <http://iasted#Speaker> )
  [13] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [14] SubClassOf(<http://edas#NumericalReviewQuestion> <http://edas#ReviewQuestion>)
  [15] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [16] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [17] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [18] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [19] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [20] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [21] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <44> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] DisjointClasses(<http://edas#Document> <http://edas#Place>)
  [2] SubClassOf(<http://edas#Paper> <http://edas#Document>)
  [3] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [4] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [5] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [6] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [7] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [8] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [9] DisjointClasses(<http://edas#Country> <http://edas#Document>)
  [10] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [11] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [12] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [13] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [14] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [15] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [16] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [17] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [18] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [19] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [20] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [21] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))

MIS <45> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [6] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [9] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [10] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [11] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [12] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [13] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [14] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [15] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [16] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [17] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [18] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [19] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [20] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [21] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [22] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [23] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [24] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <46> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [2] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [3] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [4] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [5] SubClassOf(<http://iasted#Conference_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [6] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [7] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [8] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [9] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [10] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [11] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [12] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [13] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [14] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [15] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [16] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [17] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [18] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [19] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [20] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )
  [21] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [22] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )

MIS <47> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Conference_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Delegate>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] SubClassOf(<http://iasted#Lecture> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [5] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [6] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [9] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [10] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [11] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [12] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#give> <http://iasted#Lecture>))
  [13] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [14] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [15] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [16] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [17] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [18] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [19] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [20] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [21] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [22] ClassAssertion(<http://iasted#Conference_city> <http://iasted#Cancun>)
  [23] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [24] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <48> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [6] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [9] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [10] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [11] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [12] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [13] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [14] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [15] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [16] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [17] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [18] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [19] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [20] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [21] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [22] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [23] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [24] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [25] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <49> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [6] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [7] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [8] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [9] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [10] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [11] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [12] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [13] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [14] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [15] SubClassOf(<http://iasted#Conference_Hiker> <http://iasted#Delegate>)
  [16] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [17] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [18] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [19] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [20] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [21] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [22] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [23] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <50> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] SubClassOf(<http://iasted#Lecture> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [6] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [7] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [8] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [9] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [10] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [11] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [12] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [13] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#give> <http://iasted#Lecture>))
  [14] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [15] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [16] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [17] SubClassOf(<http://iasted#Conference_Hiker> <http://iasted#Delegate>)
  [18] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [19] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [20] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [21] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [22] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [23] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [24] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [25] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <51> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] SubClassOf(<http://iasted#Lecture> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [6] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [7] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [8] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [9] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [10] SubClassOf(<http://iasted#Trip_day> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [11] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [12] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [13] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [14] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#give> <http://iasted#Lecture>))
  [15] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_held_in> <http://iasted#Trip_day>))
  [16] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [17] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [18] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [19] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [20] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [21] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [22] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [23] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [24] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [25] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [26] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [27] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

MIS <52> : 
  [0] SubClassOf(<http://iasted#Activity_before_conference> ObjectSomeValuesFrom(<http://iasted#is_held_before> <http://iasted#Conference_days>))
  [1] EquivalentClasses(<http://edas#MealEvent> <http://iasted#Conference_activity> )
  [2] SubClassOf(<http://iasted#Trip_city> ObjectSomeValuesFrom(<http://iasted#is_visited_by> <http://iasted#Conference_Hiker>))
  [3] ObjectPropertyRange(<http://edas#hasRelatedPaper> <http://edas#Paper>)
  [4] ClassAssertion(<http://iasted#Trip_city> <http://iasted#Chichen_Itza>)
  [5] SubClassOf(<http://iasted#Lecture> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Listener>))
  [6] DisjointClasses(<http://edas#Country> <http://edas#Topic>)
  [7] SubClassOf(<http://iasted#Video_cassette_player> <http://iasted#Audiovisual_equipment>)
  [8] SubClassOf(<http://edas#MealEvent> <http://edas#NonAcademicEvent>)
  [9] SubClassOf(<http://iasted#Delegate> ObjectSomeValuesFrom(<http://iasted#pay> <http://iasted#Registration_fee>))
  [10] EquivalentObjectProperties(<http://edas#hasRelatedPaper> <http://iasted#is_held_before> )
  [11] SubClassOf(<http://iasted#Full_day_tour> ObjectSomeValuesFrom(<http://iasted#is_designed_for> <http://iasted#Delegate>))
  [12] DisjointClasses(<http://edas#Place> <http://edas#Topic>)
  [13] EquivalentClasses(<http://edas#AntennasTopic> <http://iasted#Record_of_attendance> )
  [14] SubClassOf(<http://iasted#Speaker> ObjectSomeValuesFrom(<http://iasted#give> <http://iasted#Lecture>))
  [15] EquivalentClasses(<http://edas#NonAcademicEvent> <http://iasted#Activity_before_conference> )
  [16] EquivalentClasses(<http://iasted#Conference_Hiker> ObjectSomeValuesFrom(<http://iasted#go_through> <http://iasted#Full_day_tour>) )
  [17] SubClassOf(<http://iasted#Record_of_attendance> ObjectSomeValuesFrom(<http://iasted#is_situated_in> <http://iasted#Session_room>))
  [18] ObjectPropertyDomain(<http://iasted#is_situated_in> ObjectUnionOf(<http://iasted#Building> <http://iasted#City> <http://iasted#Place>))
  [19] EquivalentClasses(<http://edas#Country> <http://iasted#City> )
  [20] SubClassOf(<http://iasted#Building> <http://iasted#Place>)
  [21] SubClassOf(<http://iasted#Registration_fee> ObjectSomeValuesFrom(<http://iasted#is_paid_for> <http://iasted#Conference_activity>))
  [22] SubClassOf(<http://edas#AntennasTopic> <http://edas#Topic>)
  [23] EquivalentClasses(<http://edas#Place> <http://iasted#Place> )
  [24] SubClassOf(<http://iasted#Listener> ObjectSomeValuesFrom(<http://iasted#sign> <http://iasted#Record_of_attendance>))
  [25] SubClassOf(<http://iasted#Audiovisual_equipment> ObjectSomeValuesFrom(<http://iasted#is_used_by> <http://iasted#Speaker>))
  [26] EquivalentClasses(<http://edas#Paper> <http://iasted#Video_cassette_player> )

****************************************
 Time (ms) to compute MIS is : 1000053

 The number of found MIS is : 0
****************************************
