Classes

Condition
d r s condition
d r s expression
expression
k i f condition
k i f expression
logic language
quoted expression
r d q l condition
r d q l expression
s p a r q l condition
s p a r q l expression
s w r l condition
s w r l expression
s w r l f o l condition
s w r l f o l expression
unquoted expression
variable binding

Condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#Condition

has super-classes: expression^c
has sub-classes: d r s condition^c, k i f condition^c, r d q l condition^c, s p a r q l condition^c, s w r l condition^c, s w r l f o l condition^c
has members: always trueⁿⁱ

d r s condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#DRS-Condition

has super-classes: Condition^c; d r s expression^c

d r s expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#DRS-Expression

has super-classes: unquoted expression^c; expression object^op only formula^c; expression language^op value d r s
has sub-classes: d r s condition^c

expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#Expression

has super-classes: expression language^op exactly 1
has sub-classes: Condition^c, quoted expression^c, unquoted expression^c
is in domain of: expression language^op

k i f condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#KIF-Condition

has super-classes: Condition^c; k i f expression^c

k i f expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#KIF-Expression

has super-classes: quoted expression^c; expression language^op value k i f
has sub-classes: k i f condition^c

logic language^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#LogicLanguage

An instance of this class represents a particular logical formalism, such as KIF, SWRL, or DRS. At present we allow for zero or more URIs to be specified, which normally are references to public document(s) that define the formalism. We anticipate a variety of other properties will be added as the requirements become better understood.

is in domain of: ref u r i^dp
is in range of: expression language^op
has members: d r sⁿⁱ, k i fⁿⁱ, r d q lⁿⁱ, s p a r q lⁿⁱ, s w r lⁿⁱ, s w r l f o lⁿⁱ

quoted expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#QuotedExpression

has super-classes: expression^c; expression data^dp exactly 1
has sub-classes: k i f expression^c, r d q l expression^c, s p a r q l expression^c, s w r l f o l expression^c
is in domain of: expression data^dp, variable binding^op
is disjoint with: unquoted expression^c

r d q l condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#RDQL-Condition

has super-classes: Condition^c; r d q l expression^c

r d q l expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#RDQL-Expression

has super-classes: quoted expression^c; expression language^op value r d q l
has sub-classes: r d q l condition^c

s p a r q l condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SPARQL-Condition

has super-classes: Condition^c; s p a r q l expression^c

s p a r q l expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SPARQL-Expression

has super-classes: quoted expression^c; expression language^op value s p a r q l
has sub-classes: s p a r q l condition^c

s w r l condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL-Condition

has super-classes: Condition^c; s w r l expression^c

s w r l expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL-Expression

has super-classes: unquoted expression^c; expression language^op value s w r l; expression object^op only atom list^c
has sub-classes: s w r l condition^c

s w r l f o l condition^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL-FOL-Condition

has super-classes: Condition^c; s w r l f o l expression^c

s w r l f o l expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL-FOL-Expression

has super-classes: quoted expression^c; expression language^op value s w r l f o l
has sub-classes: s w r l f o l condition^c

unquoted expression^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#UnquotedExpression

has super-classes: expression^c; expression object^op exactly 1
has sub-classes: d r s expression^c, s w r l expression^c
is in domain of: expression object^op
is disjoint with: quoted expression^c

variable binding^c back to ToC or Class ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#VariableBinding

This class is used to define a correspondence between a variable mentioned in an quoted expression and an OWL instance. This is useful with expression languages in which the variables can't be identified using URIs.

has super-classes: the variable^dp exactly 1; the object^op exactly 1
is in domain of: the object^op, the variable^dp
is in range of: variable binding^op

expression language^op back to ToC or Object Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#expressionLanguage

has domain: expression^c
has range: logic language^c

expression object^op back to ToC or Object Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#expressionObject

This property is used to refer to an "unquoted" expression body.

has domain: unquoted expression^c

the object^op back to ToC or Object Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#theObject

The range is not defined, and so the value of this property can be any OWL instance. When used to bind an OWL-S process precondition variable, however, the value of this property must be an instance of process:Parameter.

has domain: variable binding^c

variable binding^op back to ToC or Object Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#variableBinding

has domain: quoted expression^c
has range: variable binding^c

Data Properties

expression body
expression data
ref u r i
the variable

expression body^dp back to ToC or Data Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#expressionBody

same as expressionData; for backwards compatibility

has equivalent properties: expression data^dp

expression data^dp back to ToC or Data Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#expressionData

This property is used to refer to an "quoted" (literal) expression body.

has equivalent properties: expression body^dp
has domain: quoted expression^c

ref u r i^dp back to ToC or Data Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#refURI

has domain: logic language^c
has range: any u r i

the variable^dp back to ToC or Data Property ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#theVariable

The value of this property is a substring of a QuotedExpression. The substring represents a variable in the language of the QuotedExpression. For example, if the QuotedExpression is in KIF, the substring would be something like "?a".

has domain: variable binding^c

Named Individuals

always true
d r s
k i f
r d q l
s p a r q l
s w r l
s w r l f o l

always trueⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#AlwaysTrue

We add the 0 cardinality specs simply to ensure that no system can define those properties for this instance.

belongs to: Condition^c

d r sⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#DRS

belongs to: logic language^c
has facts: ref u r i^dp "http://cs-www.cs.yale.edu/homes/dvm/daml/drsonto040520.owl"^^any u r i

k i fⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#KIF

belongs to: logic language^c
has facts: ref u r i^dp "http://logic.stanford.edu/kif/kif.html"^^any u r i

r d q lⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#RDQL

belongs to: logic language^c
has facts: ref u r i^dp "http://www.w3.org/Submission/2004/SUBM-RDQL-20040109/"^^any u r i

s p a r q lⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SPARQL

belongs to: logic language^c
has facts: ref u r i^dp "http://www.w3.org/TR/rdf-sparql-query/"^^any u r i

s w r lⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL

belongs to: logic language^c
has facts: ref u r i^dp "http://www.w3.org/2003/11/swrl"^^any u r i

s w r l f o lⁿⁱ back to ToC or Named Individual ToC

IRI: http://www.daml.org/services/owl-s/1.2/generic/Expression.owl#SWRL-FOL

belongs to: logic language^c
has facts: ref u r i^dp "http://www.w3.org/Submission/2005/01/"^^any u r i

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

Abstract

Table of Content

Classes

Condition^c back to ToC or Class ToC

d r s condition^c back to ToC or Class ToC

d r s expression^c back to ToC or Class ToC

expression^c back to ToC or Class ToC

k i f condition^c back to ToC or Class ToC

k i f expression^c back to ToC or Class ToC

logic language^c back to ToC or Class ToC

quoted expression^c back to ToC or Class ToC

r d q l condition^c back to ToC or Class ToC

r d q l expression^c back to ToC or Class ToC

s p a r q l condition^c back to ToC or Class ToC

s p a r q l expression^c back to ToC or Class ToC

s w r l condition^c back to ToC or Class ToC

s w r l expression^c back to ToC or Class ToC

s w r l f o l condition^c back to ToC or Class ToC

s w r l f o l expression^c back to ToC or Class ToC

unquoted expression^c back to ToC or Class ToC

variable binding^c back to ToC or Class ToC

Object Properties

expression language^op back to ToC or Object Property ToC

expression object^op back to ToC or Object Property ToC

the object^op back to ToC or Object Property ToC

variable binding^op back to ToC or Object Property ToC

Data Properties

expression body^dp back to ToC or Data Property ToC

expression data^dp back to ToC or Data Property ToC

ref u r i^dp back to ToC or Data Property ToC

the variable^dp back to ToC or Data Property ToC

Named Individuals

always trueⁿⁱ back to ToC or Named Individual ToC

d r sⁿⁱ back to ToC or Named Individual ToC

k i fⁿⁱ back to ToC or Named Individual ToC

r d q lⁿⁱ back to ToC or Named Individual ToC

s p a r q lⁿⁱ back to ToC or Named Individual ToC

s w r lⁿⁱ back to ToC or Named Individual ToC

s w r l f o lⁿⁱ back to ToC or Named Individual ToC

Namespace Declarations back to ToC

Abstract

Table of Content

Classes

Conditionc back to ToC or Class ToC

d r s conditionc back to ToC or Class ToC

d r s expressionc back to ToC or Class ToC

expressionc back to ToC or Class ToC

k i f conditionc back to ToC or Class ToC

k i f expressionc back to ToC or Class ToC

logic languagec back to ToC or Class ToC

quoted expressionc back to ToC or Class ToC

r d q l conditionc back to ToC or Class ToC

r d q l expressionc back to ToC or Class ToC

s p a r q l conditionc back to ToC or Class ToC

s p a r q l expressionc back to ToC or Class ToC

s w r l conditionc back to ToC or Class ToC

s w r l expressionc back to ToC or Class ToC

s w r l f o l conditionc back to ToC or Class ToC

s w r l f o l expressionc back to ToC or Class ToC

unquoted expressionc back to ToC or Class ToC

variable bindingc back to ToC or Class ToC

Object Properties

expression languageop back to ToC or Object Property ToC

expression objectop back to ToC or Object Property ToC

the objectop back to ToC or Object Property ToC

variable bindingop back to ToC or Object Property ToC

Data Properties

expression bodydp back to ToC or Data Property ToC

expression datadp back to ToC or Data Property ToC

ref u r idp back to ToC or Data Property ToC

the variabledp back to ToC or Data Property ToC

Named Individuals

always trueni back to ToC or Named Individual ToC

d r sni back to ToC or Named Individual ToC

k i fni back to ToC or Named Individual ToC

r d q lni back to ToC or Named Individual ToC

s p a r q lni back to ToC or Named Individual ToC

s w r lni back to ToC or Named Individual ToC

s w r l f o lni back to ToC or Named Individual ToC

Namespace Declarations back to ToC

Condition^c back to ToC or Class ToC

d r s condition^c back to ToC or Class ToC

d r s expression^c back to ToC or Class ToC

expression^c back to ToC or Class ToC

k i f condition^c back to ToC or Class ToC

k i f expression^c back to ToC or Class ToC

logic language^c back to ToC or Class ToC

quoted expression^c back to ToC or Class ToC

r d q l condition^c back to ToC or Class ToC

r d q l expression^c back to ToC or Class ToC

s p a r q l condition^c back to ToC or Class ToC

s p a r q l expression^c back to ToC or Class ToC

s w r l condition^c back to ToC or Class ToC

s w r l expression^c back to ToC or Class ToC

s w r l f o l condition^c back to ToC or Class ToC

s w r l f o l expression^c back to ToC or Class ToC

unquoted expression^c back to ToC or Class ToC

variable binding^c back to ToC or Class ToC

expression language^op back to ToC or Object Property ToC

expression object^op back to ToC or Object Property ToC

the object^op back to ToC or Object Property ToC

variable binding^op back to ToC or Object Property ToC

expression body^dp back to ToC or Data Property ToC

expression data^dp back to ToC or Data Property ToC

ref u r i^dp back to ToC or Data Property ToC

the variable^dp back to ToC or Data Property ToC

always trueⁿⁱ back to ToC or Named Individual ToC

d r sⁿⁱ back to ToC or Named Individual ToC

k i fⁿⁱ back to ToC or Named Individual ToC

r d q lⁿⁱ back to ToC or Named Individual ToC

s p a r q lⁿⁱ back to ToC or Named Individual ToC

s w r lⁿⁱ back to ToC or Named Individual ToC

s w r l f o lⁿⁱ back to ToC or Named Individual ToC