• Home
• org.xowl.infra
• xowl-lang
• 1.0-beta5
• source code
• actions.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.actions.fs Maven / Gradle / Ivy

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


Ontology(
Declaration(Class(:DynamicExpression))
SubClassOf(:DynamicExpression owl2:EntityExpression)
SubClassOf(:DynamicExpression owl2:LiteralExpression)

Declaration(Class(:QueryVariable))
SubClassOf(:QueryVariable :DynamicExpression)
Declaration(DataProperty(:name))
FunctionalDataProperty(:name)
DataPropertyDomain(:name :QueryVariable)
DataPropertyRange(:name xsd:string)

Declaration(Class(:OpaqueExpression))
SubClassOf(:OpaqueExpression :DynamicExpression)
Declaration(ObjectProperty(:value))
FunctionalObjectProperty(:value)
ObjectPropertyDomain(:value :OpaqueExpression)
ObjectPropertyRange(:value )


Declaration(Class(:FunctionExpression))
SubClassOf(:FunctionExpression owl2:Expression)
SubClassOf(owl2:EntityExpression :FunctionExpression)

Declaration(Class(:FunctionDefinitionAxiom))
SubClassOf(:FunctionDefinitionAxiom owl2:Axiom)
Declaration(ObjectProperty(:function))
FunctionalObjectProperty(:function)
ObjectPropertyDomain(:function :FunctionDefinitionAxiom)
ObjectPropertyRange(:function :FunctionExpression)
Declaration(ObjectProperty(:definition))
FunctionalObjectProperty(:definition)
ObjectPropertyDomain(:definition :FunctionDefinitionAxiom)
ObjectPropertyRange(:definition )
)