PWKSO - Possible Worlds and Kripke Structures Ontology

Kripke relation

http://ns.inria.fr/pwkso/KripkeRelation

represents the Kripke relations between possible worlds. Instances of :KripkeRelation are recommended to be represented as blank nodes

has subclasses

• binary Kripke relation
• unary Kripke relation

is in domain of

• index
• parameter

is in range of

• has relation

closed possible world

http://ns.inria.fr/pwkso/ClosedPossibleWorld

represents a possible world with the Closed-World Assumption

has super-classes

• possible world

open possible world

http://ns.inria.fr/pwkso/OpenPossibleWorld

represents a possible world with the Open-World Assumption

has super-classes

• possible world

possible world

http://ns.inria.fr/pwkso/PossibleWorld

a consistent representation of how the world is, could have been or would be

has subclasses

• closed possible world
• open possible world

is in domain of

• has relation

is in range of

• not verified in
• parameter
• verified in

has relation

http://ns.inria.fr/pwkso/hasRelation

links a possible world to one of its N-ary relations

has domain

• possible world

has range

• Kripke relation

index

http://ns.inria.fr/pwkso/index

index of a Kripke relation

has domain

• Kripke relation

not verified in

http://ns.inria.fr/pwkso/notVerifiedIn

links triples to a possible world in which associated formula is not verified

has range

• possible world

parameter

http://ns.inria.fr/pwkso/param

parameter of a Kripke relation

has domain

• Kripke relation

has range

• possible world

verified in

http://ns.inria.fr/pwkso/verifiedIn

links triples to a possible world in which their associated formula is verified

has range

• possible world