helper/ontology-0.owl

202 lines
7.3 KiB
Plaintext
Raw Normal View History

2022-06-23 22:21:04 +04:00
<?xml version="1.0"?>
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
xml:base="http://www.semanticweb.org/alalf/ontologies/2022/0/untitled-ontology-5"
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/alalf/ontologies/2022/0/untitled-ontology-5">
<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="#Concept"/>
</Declaration>
<Declaration>
<Class IRI="#Event"/>
</Declaration>
<Declaration>
<Class IRI="#Term"/>
</Declaration>
<Declaration>
<ObjectProperty IRI="#hasEvent"/>
</Declaration>
<Declaration>
<ObjectProperty IRI="#hasTerm"/>
</Declaration>
<Declaration>
<DataProperty IRI="#hasDescription"/>
</Declaration>
<Declaration>
<DataProperty IRI="#hasPriority"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#Балансарты"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#Вывести_балансарты"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#Лимит_карты"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#Сообщить_про_ограничения_карты"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#баланс"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#деньга"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#карта"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#лимит"/>
</Declaration>
<Declaration>
<NamedIndividual IRI="#ограничение"/>
</Declaration>
<DisjointClasses>
<Class IRI="#Concept"/>
<Class IRI="#Event"/>
<Class IRI="#Term"/>
</DisjointClasses>
<ClassAssertion>
<Class IRI="#Concept"/>
<NamedIndividual IRI="#Балансарты"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Event"/>
<NamedIndividual IRI="#Вывести_балансарты"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Concept"/>
<NamedIndividual IRI="#Лимит_карты"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Term"/>
<NamedIndividual IRI="#баланс"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Term"/>
<NamedIndividual IRI="#деньга"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Term"/>
<NamedIndividual IRI="#карта"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Term"/>
<NamedIndividual IRI="#лимит"/>
</ClassAssertion>
<ClassAssertion>
<Class IRI="#Term"/>
<NamedIndividual IRI="#ограничение"/>
</ClassAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasEvent"/>
<NamedIndividual IRI="#Балансарты"/>
<NamedIndividual IRI="#Вывести_балансарты"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Балансарты"/>
<NamedIndividual IRI="#баланс"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Балансарты"/>
<NamedIndividual IRI="#деньга"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Балансарты"/>
<NamedIndividual IRI="#карта"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasEvent"/>
<NamedIndividual IRI="#Лимит_карты"/>
<NamedIndividual IRI="#Сообщить_про_ограничения_карты"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Лимит_карты"/>
<NamedIndividual IRI="#деньга"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Лимит_карты"/>
<NamedIndividual IRI="#карта"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Лимит_карты"/>
<NamedIndividual IRI="#лимит"/>
</ObjectPropertyAssertion>
<ObjectPropertyAssertion>
<ObjectProperty IRI="#hasTerm"/>
<NamedIndividual IRI="#Лимит_карты"/>
<NamedIndividual IRI="#ограничение"/>
</ObjectPropertyAssertion>
<DataPropertyAssertion>
<DataProperty IRI="#hasDescription"/>
<NamedIndividual IRI="#Вывести_балансарты"/>
<Literal>Вывожу баланс карты</Literal>
</DataPropertyAssertion>
<DataPropertyAssertion>
<DataProperty IRI="#hasPriority"/>
<NamedIndividual IRI="#Вывести_балансарты"/>
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#int">1</Literal>
</DataPropertyAssertion>
<DataPropertyAssertion>
<DataProperty IRI="#hasDescription"/>
<NamedIndividual IRI="#Сообщить_про_ограничения_карты"/>
<Literal>Сообщить про ограничения карты</Literal>
</DataPropertyAssertion>
<DataPropertyAssertion>
<DataProperty IRI="#hasPriority"/>
<NamedIndividual IRI="#Сообщить_про_ограничения_карты"/>
<Literal datatypeIRI="http://www.w3.org/2001/XMLSchema#int">5</Literal>
</DataPropertyAssertion>
<ObjectPropertyDomain>
<ObjectProperty IRI="#hasEvent"/>
<Class IRI="#Concept"/>
</ObjectPropertyDomain>
<ObjectPropertyDomain>
<ObjectProperty IRI="#hasTerm"/>
<Class IRI="#Concept"/>
</ObjectPropertyDomain>
<ObjectPropertyRange>
<ObjectProperty IRI="#hasEvent"/>
<Class IRI="#Event"/>
</ObjectPropertyRange>
<ObjectPropertyRange>
<ObjectProperty IRI="#hasTerm"/>
<Class IRI="#Term"/>
</ObjectPropertyRange>
<DataPropertyDomain>
<DataProperty IRI="#hasDescription"/>
<Class IRI="#Event"/>
</DataPropertyDomain>
<DataPropertyDomain>
<DataProperty IRI="#hasPriority"/>
<Class IRI="#Event"/>
</DataPropertyDomain>
<DataPropertyRange>
<DataProperty IRI="#hasDescription"/>
<Datatype abbreviatedIRI="xsd:string"/>
</DataPropertyRange>
<DataPropertyRange>
<DataProperty IRI="#hasPriority"/>
<Datatype abbreviatedIRI="xsd:int"/>
</DataPropertyRange>
</Ontology>
<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->