#Processed by Id: cwm.py,v 1.148 2004/03/21 04:24:32 timbl Exp # using base file:/proj/ontrapro/html/ontologies/zip/basketball_soccer/basketball.daml # Notation3 generation by # notation3.py,v 1.153 2004/03/21 04:24:35 timbl Exp @prefix : . @prefix daml: . @prefix rdf: . @prefix rdfs: . <> a daml:Ontology; daml:imports . :ActingEntity a rdfs:Class; rdfs:subClassOf :Entity, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Action ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :ephemeral_instance; daml:toClass :Boolean-type ] . :Action a rdfs:Class; rdfs:subClassOf [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Root ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :Boolean-type ] . :Applaud a rdfs:Class; rdfs:subClassOf :SpectatorAction . :Area a rdfs:Class; rdfs:subClassOf :Place . :Attribute a rdfs:Class . :Audience a rdfs:Class; rdfs:subClassOf :Object . :Backboard a rdfs:Class; rdfs:subClassOf :Object . :BackdoorPlay a rdfs:Class; rdfs:subClassOf :OffensiveTeamAction . :Ball a rdfs:Class; rdfs:subClassOf :Object . :BeReplaced a rdfs:Class; rdfs:subClassOf :Player_Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Player ] . :Begin a rdfs:Class; rdfs:subClassOf :Match_action . :Blocking a :PersonalFoul . :Boo a rdfs:Class; rdfs:subClassOf :SpectatorAction . :Boolean-type a rdfs:Class; rdfs:subClassOf :Measure . :BoxAndChaser a rdfs:Class; rdfs:subClassOf :DefensiveTeamAction . :BoxAndOne a rdfs:Class; rdfs:subClassOf :DefensiveTeamAction . :Center a rdfs:Class; rdfs:subClassOf :CourtPlayer . :CenterCircle a rdfs:Class; rdfs:subClassOf :Line . :CenterCircleArea a rdfs:Class; rdfs:subClassOf :Area . :CenterLine a rdfs:Class; rdfs:subClassOf :Line . :CenterPoint a rdfs:Class; rdfs:subClassOf :Point . :Charging a :PersonalFoul . :Cheer a rdfs:Class; rdfs:subClassOf :SpectatorAction, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :ActingEntity ] . :Coach a rdfs:Class; rdfs:subClassOf :Spectator . :CornerArea a rdfs:Class; rdfs:subClassOf :Area . :CornerPoint a rdfs:Class; rdfs:subClassOf :Point . :CounterAttack a rdfs:Class; rdfs:subClassOf :Player_Action . :Court a rdfs:Class; rdfs:subClassOf :Place . :CourtPlayer a rdfs:Class; rdfs:subClassOf :Player, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Player_Action ] . :DefensiveTeamAction a rdfs:Class; rdfs:subClassOf :TeamAction . :Division a rdfs:Class; rdfs:subClassOf :ActingEntity . :Dribble a rdfs:Class; rdfs:subClassOf :Player_Action . :Drop_ball a rdfs:Class; rdfs:subClassOf :Referee_action . :Duration a rdfs:Class; rdfs:subClassOf :Time . :Elbowing a :PersonalFoul . :End a rdfs:Class; rdfs:subClassOf :Match_action . :End_Time a rdfs:Class; rdfs:subClassOf :Point_in_time . :Entity a rdfs:Class; rdfs:subClassOf [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :Boolean-type ] . :False_value a rdfs:Class; rdfs:subClassOf :Boolean-type . :Fan a rdfs:Class; rdfs:subClassOf :Spectator, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :supporter_colors; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :team_supported; daml:toClass :Team ] . :FastBreak a rdfs:Class; rdfs:subClassOf :OffensiveTeamAction . :Feint a rdfs:Class; rdfs:subClassOf :Player_Action . :FoulAction a rdfs:Class; rdfs:subClassOf :InfractionAction . :FourCornerOffense a rdfs:Class; rdfs:subClassOf :OffensiveTeamAction . :FreeThrowCircle a rdfs:Class; rdfs:subClassOf :Area . :FreeThrowLine a rdfs:Class; rdfs:subClassOf :Line . :Give_Sanction a rdfs:Class; rdfs:subClassOf :Referee_action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Sanction ] . :Hacking a :PersonalFoul . :Halftime a rdfs:Class; rdfs:subClassOf :Duration . :Hit a rdfs:Class; rdfs:subClassOf :Player_Action . :Holding a :PersonalFoul . :InfractionAction a rdfs:Class; rdfs:subClassOf :Player_Action . :InfractionMade a rdfs:Class; rdfs:subClassOf :Stoppage . :Injury_time a rdfs:Class; rdfs:subClassOf :Duration . :Integer-type a rdfs:Class; rdfs:subClassOf :Measure . :Line a rdfs:Class; rdfs:subClassOf :Place . :Mark a rdfs:Class; rdfs:subClassOf :Player_Action . :Match a rdfs:Class; rdfs:subClassOf :ActingEntity, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Match_action ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_first_team; daml:toClass :Team ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_date; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_hour; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_name; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_referee; daml:toClass :Referee ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_second_team; daml:toClass :Team ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_tournament; daml:toClass :Tournament ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :match_town; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :ephemeral_instance; daml:toClass :True_value ] . :Match_action a rdfs:Class; rdfs:subClassOf :Action . :Measure a rdfs:Class . :Net a rdfs:Class; rdfs:subClassOf :Object . :Object a rdfs:Class; rdfs:subClassOf :ActingEntity . :OffensiveTeamAction a rdfs:Class; rdfs:subClassOf :TeamAction . :Official a rdfs:Class; rdfs:subClassOf :Person, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Official_action ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :ephemeral_instance; daml:toClass :True_value ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Official_action a rdfs:Class; rdfs:subClassOf :Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Organization a rdfs:Class; rdfs:subClassOf :ActingEntity . :OutOfBounds a rdfs:Class; rdfs:subClassOf :Stoppage . :Overtime a rdfs:Class; rdfs:subClassOf :Duration . :Pass a rdfs:Class; rdfs:subClassOf :Player_Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Player ] . :Period a rdfs:Class; rdfs:subClassOf :Duration . :Person a rdfs:Class; rdfs:subClassOf :ActingEntity, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :date_of_birth; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :forname; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :name; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :nationality; daml:toClass ] . :PersonalFoul a rdfs:Class; rdfs:subClassOf :FoulAction . :Place a rdfs:Class; rdfs:subClassOf :Entity . :Player a rdfs:Class; rdfs:subClassOf :Person, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Player_Action ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :height; daml:toClass ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :national_team; daml:toClass :Team ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :ephemeral_instance; daml:toClass :True_value ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :weight; daml:toClass ] . :Player_Action a rdfs:Class; rdfs:subClassOf :Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Point a rdfs:Class; rdfs:subClassOf :Place . :PointGuard a rdfs:Class; rdfs:subClassOf :CourtPlayer . :Point_in_time a rdfs:Class; rdfs:subClassOf :Time . :PowerForward a rdfs:Class; rdfs:subClassOf :CourtPlayer . :President a rdfs:Class; rdfs:subClassOf :Person, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Directed ] . :QualitativeAttribute a rdfs:Class; rdfs:subClassOf :Attribute . :Real-type a rdfs:Class; rdfs:subClassOf :Measure . :Referee a rdfs:Class; rdfs:subClassOf :Official, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :Referee_action ] . :Referee_action a rdfs:Class; rdfs:subClassOf :Official_action . :Rim a rdfs:Class; rdfs:subClassOf :Object . :RuleAttribute a rdfs:Class; rdfs:subClassOf :Attribute . :Sanction a rdfs:Class; rdfs:subClassOf :Entity, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Score a rdfs:Class; rdfs:subClassOf :Player_Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Basket ] . :Scorer a rdfs:Class; rdfs:subClassOf :Official . :SendOut a rdfs:Class; rdfs:subClassOf . :Shoot a rdfs:Class; rdfs:subClassOf :Player_Action . :ShootingGuard a rdfs:Class; rdfs:subClassOf :CourtPlayer . :SideLine a rdfs:Class; rdfs:subClassOf :Line . :SmallForward a rdfs:Class; rdfs:subClassOf :CourtPlayer . :Speaker a rdfs:Class; rdfs:subClassOf :Spectator . :Spectator a rdfs:Class; rdfs:subClassOf :Person, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :agent; daml:toClass :SpectatorAction ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :SpectatorAction a rdfs:Class; rdfs:subClassOf :Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Stack a rdfs:Class; rdfs:subClassOf :OffensiveTeamAction . :Start_time a rdfs:Class; rdfs:subClassOf :Point_in_time . :Steal a rdfs:Class; rdfs:subClassOf :Player_Action . :Stoppage a rdfs:Class; rdfs:subClassOf :Entity, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :Substitute a rdfs:Class; rdfs:subClassOf :Player . :TVFan a rdfs:Class; rdfs:subClassOf :Spectator . :Team a rdfs:Class; rdfs:subClassOf :Object, [ a daml:Restriction; daml:maxcardinality "11"; daml:mincardinality "11"; daml:onProperty :aggregate; daml:toClass :CourtPlayer ], [ a daml:Restriction; daml:maxcardinality "1"; daml:mincardinality "1"; daml:onProperty :team_trainer; daml:toClass :Coach ], [ a daml:Restriction; daml:maxcardinality "1"; daml:mincardinality "1"; daml:onProperty :team_goalkeeper; daml:toClass :Goalkeeper ], [ a daml:Restriction; daml:maxcardinality "3"; daml:mincardinality "3"; daml:onProperty :team_substitute; daml:toClass :Substitute ], [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :ephemeral_instance; daml:toClass :True_value ] . :TeamAction a rdfs:Class; rdfs:subClassOf :Action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :user_specific; daml:toClass :True_value ] . :TechnicalFoul a rdfs:Class; rdfs:subClassOf :FoulAction . :Time a rdfs:Class . :Tournament a rdfs:Class; rdfs:subClassOf :ActingEntity . :True_value a rdfs:Class; rdfs:subClassOf :Boolean-type . :VIP a rdfs:Class; rdfs:subClassOf :Spectator . :ViolationAction a rdfs:Class; rdfs:subClassOf :InfractionAction . :Whistle a rdfs:Class; rdfs:subClassOf :Referee_action, [ a daml:Restriction; daml:maxcardinality "n"; daml:mincardinality "1"; daml:onProperty :object; daml:toClass :Stoppage ] . :Yell a rdfs:Class; rdfs:subClassOf :SpectatorAction . :ZoneDefense a rdfs:Class; rdfs:subClassOf :DefensiveTeamAction . :agent a rdf:Property . :aggregate a rdf:Property . :alley-oopPass a rdfs:Class; rdfs:subClassOf :Pass . :blindPass a rdfs:Class; rdfs:subClassOf :Pass . :bouncePass a rdfs:Class; rdfs:subClassOf :Pass . :chestPass a rdfs:Class; rdfs:subClassOf :Pass . :club_president a rdf:Property . :date_of_birth a rdf:Property . :ephemeral_instance a rdf:Property . :forname a rdf:Property . :height a rdf:Property . :inboundsPass a rdfs:Class; rdfs:subClassOf :Pass . :leadPass a rdfs:Class; rdfs:subClassOf :Pass . :match_date a rdf:Property . :match_first_team a rdf:Property . :match_hour a rdf:Property . :match_name a rdf:Property . :match_referee a rdf:Property . :match_second_team a rdf:Property . :match_tournament a rdf:Property . :match_town a rdf:Property . :name a rdf:Property . :national_team a rdf:Property . :nationality a rdf:Property . :object a rdf:Property . :supporter_colors a rdf:Property . :team_substitute a rdf:Property . :team_supported a rdf:Property . :team_trainer a rdf:Property . :user_specific a rdf:Property . :weight a rdf:Property . #ENDS