1062 lines
32 KiB
Plaintext
1062 lines
32 KiB
Plaintext
|
<?xml version="1.0"?>
|
|||
|
|
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
|
|||
|
|
xml:base="http://www.semanticweb.org/user/ontologies/2021/3/ontology"
|
|||
|
|
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
|
|||
|
|
xmlns:xml="http://www.w3.org/XML/1998/namespace"
|
|||
|
|
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
|
|||
|
|
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
|
|||
|
|
ontologyIRI="http://www.semanticweb.org/user/ontologies/2021/3/ontology">
|
|||
|
|
<Prefix name="" IRI="http://www.semanticweb.org/user/ontologies/2021/3/ontology"/>
|
|||
|
|
<Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
|
|||
|
|
<Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
|
|||
|
|
<Prefix name="xml" IRI="http://www.w3.org/XML/1998/namespace"/>
|
|||
|
|
<Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
|
|||
|
|
<Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#CheckClassroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#EmptyClassroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#Human"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#LectureClassroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#NotEmptyClassroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<Class IRI="#Technic"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<DataProperty IRI="#hasArea"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<DataProperty IRI="#hasConfidence"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Airplane"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Apple"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Backpack"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Banana"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#BaseballBat"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#BaseballGlove"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bear"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bed"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bench"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bicycle"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bird"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Boat"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Book"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bottle"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bowl"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Broccoli"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Bus"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Cake"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Car"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Carrot"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Cat"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#CellPhone"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Chair"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Clock"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Couch"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Cow"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Cup"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#DiningTable"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Dog"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Donut"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Elephant"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#FireHydrant"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Fork"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Frisbee"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Giraffe"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#HairDrier"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Handbag"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Horse"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#HotDog"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Keyboard"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Kite"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Knife"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Laptop"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Microwave"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Motorcycle"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Mouse"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Orange"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Oven"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#ParkingMeter"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Person"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Pizza"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#PottedPlant"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Refrigerator"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Remote"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Sandwich"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Scissors"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Sheep"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Sink"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Skateboard"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Skis"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Snowboard"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Spoon"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#SportsBall"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#StopSign"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Suitcase"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Surfboard"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#TeddyBear"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#TennisRacket"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Tie"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Toaster"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Toilet"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Toothbrush"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#TrafficLight"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Train"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Truck"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Tv"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Umbrella"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Vase"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#WineGlass"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#Zebra"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#411"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#418a"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#420"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#424_1"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#424_2"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#429"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<NamedIndividual IRI="#431"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<Declaration>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
</Declaration>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<DataSomeValuesFrom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Datatype abbreviatedIRI="xsd:string"/>
|
|||
|
|
</DataSomeValuesFrom>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#Human"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#LectureClassroom"/>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<SubClassOf>
|
|||
|
|
<Class IRI="#Technic"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</SubClassOf>
|
|||
|
|
<DisjointClasses>
|
|||
|
|
<Class IRI="#EmptyClassroom"/>
|
|||
|
|
<Class IRI="#NotEmptyClassroom"/>
|
|||
|
|
</DisjointClasses>
|
|||
|
|
<DisjointClasses>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</DisjointClasses>
|
|||
|
|
<DisjointClasses>
|
|||
|
|
<Class IRI="#Human"/>
|
|||
|
|
<Class IRI="#Technic"/>
|
|||
|
|
</DisjointClasses>
|
|||
|
|
<DisjointClasses>
|
|||
|
|
<Class IRI="#LectureClassroom"/>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
</DisjointClasses>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Airplane"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Apple"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Backpack"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Banana"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#BaseballBat"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#BaseballGlove"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bear"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bed"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bench"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bicycle"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bird"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Boat"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Book"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bottle"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bowl"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Broccoli"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Bus"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Cake"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Car"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Carrot"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Cat"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#CellPhone"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Chair"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Clock"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Couch"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Cow"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Cup"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#DiningTable"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Dog"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Donut"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Elephant"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#FireHydrant"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Fork"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Frisbee"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Giraffe"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#HairDrier"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Handbag"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Horse"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#HotDog"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Keyboard"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Kite"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Knife"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Laptop"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Microwave"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Motorcycle"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Mouse"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Orange"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Oven"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#ParkingMeter"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Person"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Pizza"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#PottedPlant"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Refrigerator"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Remote"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Sandwich"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Scissors"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Sheep"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Sink"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Skateboard"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Skis"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Snowboard"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Spoon"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#SportsBall"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#StopSign"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Suitcase"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Surfboard"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#TeddyBear"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#TennisRacket"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Tie"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Toaster"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Toilet"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Toothbrush"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#TrafficLight"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Train"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Truck"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Tv"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Umbrella"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Vase"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#WineGlass"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
<NamedIndividual IRI="#Zebra"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#LectureClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#411"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#418a"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#LectureClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#420"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#424_1"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#424_2"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#429"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<ClassAssertion>
|
|||
|
|
<Class IRI="#PracticalClassroom"/>
|
|||
|
|
<NamedIndividual IRI="#431"/>
|
|||
|
|
</ClassAssertion>
|
|||
|
|
<DifferentIndividuals>
|
|||
|
|
<NamedIndividual IRI="#411"/>
|
|||
|
|
<NamedIndividual IRI="#418a"/>
|
|||
|
|
<NamedIndividual IRI="#420"/>
|
|||
|
|
<NamedIndividual IRI="#424_1"/>
|
|||
|
|
<NamedIndividual IRI="#424_2"/>
|
|||
|
|
<NamedIndividual IRI="#429"/>
|
|||
|
|
<NamedIndividual IRI="#431"/>
|
|||
|
|
</DifferentIndividuals>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#411"/>
|
|||
|
|
<Literal>аудитория 411</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#418a"/>
|
|||
|
|
<Literal>аудитория 418а</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#420"/>
|
|||
|
|
<Literal>аудитория 420</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#424_1"/>
|
|||
|
|
<Literal>аудитория 424/1</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#424_2"/>
|
|||
|
|
<Literal>аудитория 424/2</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#429"/>
|
|||
|
|
<Literal>аудитория 429</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<DataPropertyAssertion>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<NamedIndividual IRI="#431"/>
|
|||
|
|
<Literal>аудитория 431</Literal>
|
|||
|
|
</DataPropertyAssertion>
|
|||
|
|
<ObjectPropertyDomain>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</ObjectPropertyDomain>
|
|||
|
|
<ObjectPropertyDomain>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<ObjectSomeValuesFrom>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</ObjectSomeValuesFrom>
|
|||
|
|
</ObjectPropertyDomain>
|
|||
|
|
<ObjectPropertyDomain>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</ObjectPropertyDomain>
|
|||
|
|
<ObjectPropertyDomain>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<ObjectSomeValuesFrom>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</ObjectSomeValuesFrom>
|
|||
|
|
</ObjectPropertyDomain>
|
|||
|
|
<ObjectPropertyRange>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</ObjectPropertyRange>
|
|||
|
|
<ObjectPropertyRange>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<Class IRI="#ObjectOfObsrvation"/>
|
|||
|
|
</ObjectPropertyRange>
|
|||
|
|
<DataPropertyDomain>
|
|||
|
|
<DataProperty IRI="#hasArea"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</DataPropertyDomain>
|
|||
|
|
<DataPropertyDomain>
|
|||
|
|
<DataProperty IRI="#hasConfidence"/>
|
|||
|
|
<Class IRI="#Entity"/>
|
|||
|
|
</DataPropertyDomain>
|
|||
|
|
<DataPropertyDomain>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Class abbreviatedIRI="owl:Thing"/>
|
|||
|
|
</DataPropertyDomain>
|
|||
|
|
<DataPropertyDomain>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<DataSomeValuesFrom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Datatype abbreviatedIRI="xsd:string"/>
|
|||
|
|
</DataSomeValuesFrom>
|
|||
|
|
</DataPropertyDomain>
|
|||
|
|
<DataPropertyRange>
|
|||
|
|
<DataProperty IRI="#hasArea"/>
|
|||
|
|
<Datatype abbreviatedIRI="xsd:float"/>
|
|||
|
|
</DataPropertyRange>
|
|||
|
|
<DataPropertyRange>
|
|||
|
|
<DataProperty IRI="#hasConfidence"/>
|
|||
|
|
<Datatype abbreviatedIRI="xsd:float"/>
|
|||
|
|
</DataPropertyRange>
|
|||
|
|
<DataPropertyRange>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Datatype abbreviatedIRI="xsd:string"/>
|
|||
|
|
</DataPropertyRange>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Список адиторий для проверки</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S8</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#CheckClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<DataPropertyAtom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</DataPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<BuiltInAtom IRI="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#select">
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</BuiltInAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Определение аудиторий без людей но с проектором</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S2</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<ObjectPropertyAtom>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<NamedIndividual IRI="#Tv"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ObjectPropertyAtom>
|
|||
|
|
<ObjectPropertyAtom>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<NamedIndividual IRI="#Person"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ObjectPropertyAtom>
|
|||
|
|
<DataPropertyAtom>
|
|||
|
|
<DataProperty IRI="#hasArea"/>
|
|||
|
|
<NamedIndividual IRI="#Tv"/>
|
|||
|
|
<Variable IRI="#val"/>
|
|||
|
|
</DataPropertyAtom>
|
|||
|
|
<BuiltInAtom IRI="http://www.w3.org/2003/11/swrlb#greaterThan">
|
|||
|
|
<Variable IRI="#val"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#integer">20000</Literal>
|
|||
|
|
</BuiltInAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#CheckClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Определение аудиторий с людьми</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S1</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<ObjectPropertyAtom>
|
|||
|
|
<ObjectProperty IRI="#locatedIn"/>
|
|||
|
|
<NamedIndividual IRI="#Person"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ObjectPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#NotEmptyClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Определение пустых аудиторий</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S3</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<ObjectPropertyAtom>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<NamedIndividual IRI="#Tv"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ObjectPropertyAtom>
|
|||
|
|
<ObjectPropertyAtom>
|
|||
|
|
<ObjectProperty IRI="#notLocatedIn"/>
|
|||
|
|
<NamedIndividual IRI="#Person"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ObjectPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#CheckClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Список всех аудиторий</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S9</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#Classroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<DataPropertyAtom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</DataPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<BuiltInAtom IRI="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#select">
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</BuiltInAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Список пустых аудиторий</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S7</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#EmptyClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<DataPropertyAtom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</DataPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<BuiltInAtom IRI="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#select">
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</BuiltInAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
<DLSafeRule>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty IRI="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled"/>
|
|||
|
|
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#boolean">true</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:comment"/>
|
|||
|
|
<Literal>Список не пустых аудиторий</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Annotation>
|
|||
|
|
<AnnotationProperty abbreviatedIRI="rdfs:label"/>
|
|||
|
|
<Literal>S6</Literal>
|
|||
|
|
</Annotation>
|
|||
|
|
<Body>
|
|||
|
|
<ClassAtom>
|
|||
|
|
<Class IRI="#NotEmptyClassroom"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
</ClassAtom>
|
|||
|
|
<DataPropertyAtom>
|
|||
|
|
<DataProperty IRI="#hasName"/>
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</DataPropertyAtom>
|
|||
|
|
</Body>
|
|||
|
|
<Head>
|
|||
|
|
<BuiltInAtom IRI="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#select">
|
|||
|
|
<Variable IRI="#c"/>
|
|||
|
|
<Variable IRI="#name"/>
|
|||
|
|
</BuiltInAtom>
|
|||
|
|
</Head>
|
|||
|
|
</DLSafeRule>
|
|||
|
|
</Ontology>
|
|||
|
|
|
|||
|
|
|
|||
|
|
|
|||
|
|
<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->
|
|||
|
|
|