W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

RE: n-ary datatypes

From: Turner, David <davidt@hp.com>
Date: Wed, 7 Feb 2007 15:29:13 -0000
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D474@sdcexc04.emea.cpqcorp.net>
To: "Carroll, Jeremy John" <jeremy.carroll@hp.com>, "Evren Sirin" <evren@clarkparsia.com>, <hans.teijgeler@quicknet.nl>
Cc: <public-owl-dev@w3.org>

Hi,

> -----Original Message-----
> From: hans.teijgeler@quicknet.nl [mailto:hans.teijgeler@quicknet.nl] 
>
> Is R3 (coordinates) an example of n-ary datatypes?

I think it would be if R were a valid datatype, but (pickily) as I
understand it there's no type of reals, only decimals and IEEE
floating-point numbers.

> -----Original Message-----
> From: Evren Sirin [mailto:evren@clarkparsia.com] 
> I agree that there is not enough explanation about n-ary 
> datatypes but there are other places where you see them, e.g 
> in functional syntax we have:
> 
> dataAllValuesFrom := 'DataAllValuesFrom' '(' 
> dataPropertyExpression { dataPropertyExpression } dataRange ')'

Oh yes, I hadn't spotted that. Thanks.

> I would define this like:
> 
> DataAllValuesFrom( dimension:width dimension:height swrlb:greaterThan
)

I see, thanks. Is there an implementation that understands this? How
about a slightly more complicated example like that of the kmtrsPerMile
predicate from [2]. Perhaps

SubClassOf(
    ObjectUnionOf(
        DataSomeValuesFrom(river:length-mile unit:lengthInMile)
        DataSomeValuesFrom(river:length-km unit:lengthInKMtr)
    )

    ObjectIntersectionOf(
        DataSomeValuesFrom(river:length-mile unit:lengthInMile)
        DataSomeValuesFrom(river:length-km unit:lengthInKMtr)
        DataHasValue(unit:KMtrsPerMile 1.6)
        DataAllValuesFrom(
            unit:lengthInKMtrs
            unit:lengthInMile
            unit:KMtrsPerMile
            swrlb:multiply
        )
    )
)

By which I intend to say that if an object has a length-mile (resp
length-km) property then it has a length-km (resp length-mile) property
and is such that lengthInKMtrs = lengthInMile * 1.6. Does that work?

Cheers,

Dave



[1] http://owl1_1.cs.manchester.ac.uk/owl_specification.html

[2] Web Ontology Reasoning with Datatype Groups, Pan & Horrocks 
http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/PaHo03a.pdf
Received on Wednesday, 7 February 2007 15:29:24 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT