You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
VideoAnalysis/OntologyObjectDetection123.owl

1062 lines
32 KiB
Plaintext

1 year ago
<?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 -->