PossibilisticTemporalOnto Ontology

IRI:
https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#
Current version:
Version 1.0 - 2020-12-01
Authors:
https://cedric.cnam.fr/index.php/labo/membre/ghorbelf
https://cedric.cnam.fr/lab/en/author/achichn
Contributors:
https://cedric.cnam.fr/lab/en/author/metais
https://cedric.cnam.fr/~hamdif
Publisher:
http://fr.dbpedia.org/resource/Conservatoire_national_des_arts_et_métiers
Other visualisation:
Ontology source
Copyright 2020, CNAM

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Named Individuals
  5. Annotation Properties
  6. SWRL Rules
  7. Namespace Declarations

Classes

ClassInstc back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#ClassInst

is in domain of
has time frameop, relationop
is in range of
relationop
has members
class inst1ni, class inst2ni

Lower_Boundc back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Lower_Bound

is in domain of
starts atdp, starts todp
is in range of
has lower boundop

TimeFramec back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#TimeFrame

has sub-classes
Uncert_Imp_Time_Intervalc
is in range of
has time frameop

Uncert_Imp_Time_Intervalc back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Uncert_Imp_Time_Interval

has super-classes
TimeFramec
is in domain of
after intervalsop, before intervalsop, contains intervalsop, during intervalsop, ended by intervalsop, ends intervalsop, equals intervalsop, has lower boundop, has upper boundop, meets intervalsop, met by intervalsop, nec imp degreedp, nec uncert degreedp, overlapped by intervalsop, overlaps intervalsop, pos imp degreedp, pos uncert degreedp, started by intervalsop, starts intervalsop
is in range of
after intervalsop, before intervalsop, contains intervalsop, during intervalsop, ended by intervalsop, ends intervalsop, equals intervalsop, meets intervalsop, met by intervalsop, overlapped by intervalsop, overlaps intervalsop, started by intervalsop, starts intervalsop

Upper_Boundc back to ToC or Class ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Upper_Bound

is in domain of
ends atdp, ends todp
is in range of
has upper boundop

Object Properties

after intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#After_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
before intervalsop

before intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Before_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
after intervalsop

contains intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Contains_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
during intervalsop

during intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#During_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
contains intervalsop

ended by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#EndedBy_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
ends intervalsop

ends intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Ends_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
ended by intervalsop

equals intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Equals_Intervals

has characteristics: symmetric, transitive, reflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc

has lower boundop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Has_Lower_Bound

has domain
Uncert_Imp_Time_Intervalc
has range
Lower_Boundc

has time frameop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#HasTimeFrame

has domain
ClassInstc
has range
TimeFramec

has upper boundop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Has_Upper_Bound

has domain
Uncert_Imp_Time_Intervalc
has range
Upper_Boundc

meets intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Meets_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
met by intervalsop

met by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#MetBy_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
meets intervalsop

overlapped by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#OverlappedBy_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
overlaps intervalsop

overlaps intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Overlaps_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
overlapped by intervalsop

relationop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Relation

has domain
ClassInstc
has range
ClassInstc

started by intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#StartedBy_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
starts intervalsop

starts intervalsop back to ToC or Object Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Starts_Intervals

has characteristics: asymmetric, transitive, irreflexive

has domain
Uncert_Imp_Time_Intervalc
has range
Uncert_Imp_Time_Intervalc
is inverse of
started by intervalsop

Data Properties

ends atdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Ends_At

has domain
Upper_Boundc

ends todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Ends_To

has domain
Upper_Boundc

nec imp degreedp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Nec_Imp_Degree

has domain
Uncert_Imp_Time_Intervalc

nec uncert degreedp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Nec_Uncert_Degree

has domain
Uncert_Imp_Time_Intervalc

pos imp degreedp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Pos_Imp_Degree

has domain
Uncert_Imp_Time_Intervalc

pos uncert degreedp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Pos_Uncert_Degree

has domain
Uncert_Imp_Time_Intervalc

starts atdp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Starts_At

has domain
Lower_Boundc

starts todp back to ToC or Data Property ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#Starts_To

has domain
Lower_Boundc

Named Individuals

class inst1ni back to ToC or Named Individual ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#ClassInst1

belongs to
ClassInstc
has facts
relationop class inst2

class inst2ni back to ToC or Named Individual ToC

IRI: https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#ClassInst2

belongs to
ClassInstc
has facts
relationop class inst1

Annotation Properties

is rule enabledap back to ToC or Annotation Property ToC

IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

SWRL rules

Rule #1back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , equal(?,?) , equal(?,?) -> meets intervalsop(?,?)

Rule #2back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , equal(?,?) , equal(?,?) , lessThan(?,?) -> starts intervalsop(?,?)

Rule #3back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , equal(?,?) , equal(?,?) -> ends intervalsop(?,?)

Rule #4back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , equal(?,?) , equal(?,?) , lessThan(?,?) -> started by intervalsop(?,?)

Rule #5back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , equal(?,?) , equal(?,?) -> meets intervalsop(?,?)

Rule #6back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , equal(?,?) , equal(?,?) -> ended by intervalsop(?,?)

Rule #7back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , lessThan(?,?) , lessThan(?,?) -> overlaps intervalsop(?,?)

Rule #8back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , lessThan(?,?) -> contains intervalsop(?,?)

Rule #9back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , lessThan(?,?) , lessThan(?,?) -> overlapped by intervalsop(?,?)

Rule #10back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) , lessThan(?,?) -> during intervalsop(?,?)

Rule #11back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , equal(?,?) , equal(?,?) , equal(?,?) , equal(?,?) -> equals intervalsop(?,?)

Rule #12back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , greaterThan(?,?) -> after intervalsop(?,?)

Rule #13back to ToC

Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , Uncert_Imp_Time_Intervalc(?) , has upper boundop(?,?) , starts atdp(?,?) , starts todp(?,?) , has lower boundop(?,?) , ends atdp(?,?) , ends todp(?,?) , pos imp degreedp(?,?) , nec imp degreedp(?,?) , pos uncert degreedp(?,?) , nec uncert degreedp(?,?) , lessThan(?,?) -> before intervalsop(?,?)

Namespace Declarations back to ToC

default namespace
https://cedric.cnam.fr/isid/ontologies/PossibilisticTemporalOnto.owl#
11
http://www.semanticweb.org/dell/ontologies/2020/11/
author
https://cedric.cnam.fr/lab/en/author/
cc
http://creativecommons.org/ns#
cedric-cnam-fr
https://cedric.cnam.fr/
dc
http://purl.org/dc/terms/
membre
https://cedric.cnam.fr/index.php/labo/membre/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
resource
http://fr.dbpedia.org/resource/
swrl
http://www.w3.org/2003/11/swrl#
swrla
http://swrl.stanford.edu/ontologies/3.3/swrla.owl#
swrlb
http://www.w3.org/2003/11/swrlb#
vann
http://purl.org/vocab/vann/
www-data-gouv-fr
http://www.data.gouv.fr/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.