event.owl

<?xml version="1.0"?>
<Ontology xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="https://raw.githubusercontent.com/fornaran/T-Norm-Model/main/event"
     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="https://raw.githubusercontent.com/fornaran/T-Norm-Model/main/event.owl"
     versionIRI="https://raw.githubusercontent.com/fornaran/T-Norm-Model/main/event/1.0.0">
    <Prefix name="" IRI="https://raw.githubusercontent.com/fornaran/T-Norm-Model/main/event"/>
    <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#"/>
    <Prefix name="time" IRI="http://www.w3.org/2006/time#"/>
    <Prefix name="event" IRI="https://raw.githubusercontent.com/fornaran/T-Norm-Model/main/event"/>
    <Import>http://www.w3.org/2006/time#2016</Import>
    <Declaration>
        <Class IRI="#TimeEvent"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Event"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Action"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#atTime"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Eventuality"/>
    </Declaration>
    <Declaration>
        <Class IRI="#Agent"/>
    </Declaration>
    <Declaration>
        <ObjectProperty IRI="#actor"/>
    </Declaration>
    <EquivalentClasses>
        <Class IRI="#Event"/>
        <ObjectSomeValuesFrom>
            <ObjectProperty IRI="#atTime"/>
            <Class abbreviatedIRI="time:Instant"/>
        </ObjectSomeValuesFrom>
    </EquivalentClasses>
    <SubClassOf>
        <Class IRI="#Action"/>
        <Class IRI="#Event"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#Event"/>
        <Class IRI="#Eventuality"/>
    </SubClassOf>
    <SubClassOf>
        <Class IRI="#TimeEvent"/>
        <Class IRI="#Event"/>
    </SubClassOf>
    <DisjointClasses>
        <Class IRI="#Action"/>
        <Class IRI="#TimeEvent"/>
    </DisjointClasses>
    <ObjectPropertyDomain>
        <ObjectProperty IRI="#actor"/>
        <Class IRI="#Action"/>
    </ObjectPropertyDomain>
    <ObjectPropertyDomain>
        <ObjectProperty IRI="#atTime"/>
        <Class IRI="#Eventuality"/>
    </ObjectPropertyDomain>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#actor"/>
        <Class IRI="#Agent"/>
    </ObjectPropertyRange>
    <ObjectPropertyRange>
        <ObjectProperty IRI="#atTime"/>
        <Class abbreviatedIRI="time:TemporalEntity"/>
    </ObjectPropertyRange>
</Ontology>

<!-- Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi -->