• Home
• org.xowl.infra
• xowl-lang
• 1.0-beta9
• source code
• rules.fs

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.xowl.infra.lang.defs.rules.fs Maven / Gradle / Ivy

Prefix(xsd:=)
Prefix(:=)
Prefix(owl2:=)

Ontology(
FunctionalDataProperty(:isPositive)
DataPropertyDomain(:isPositive :Assertion)
DataPropertyRange(:isPositive xsd:boolean)

FunctionalDataProperty(:isMeta)
DataPropertyDomain(:isMeta :Assertion)
DataPropertyRange(:isMeta xsd:boolean)

ObjectPropertyDomain(:axioms :Assertion)
ObjectPropertyRange(:axioms owl2:Axiom)

FunctionalObjectProperty(:hasIRI)
ObjectPropertyDomain(:hasIRI :Rule)
ObjectPropertyRange(:hasIRI owl2:IRI)

ObjectPropertyDomain(:antecedents :Rule)
ObjectPropertyRange(:antecedents :Assertion)

ObjectPropertyDomain(:consequents :Rule)
ObjectPropertyRange(:consequents :Assertion)

FunctionalObjectProperty(:guard)
ObjectPropertyDomain(:guard :Rule)
ObjectPropertyRange(:guard owl2:LiteralExpression)
)