Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Define more than Subject-Predicate-Object

Steve Jonathan Tirtha sjtirtha at gmail.com
Mon Apr 30 02:55:57 PDT 2007


Hi Timothy,

thank you very much for the answer.
This url http://www.w3.org/TR/swbp-n-aryRelations/ answer my question.

But I still don't understand what do you mean with the direct model
theoretic semantics.
I've not read about it, but I'll do later.

Steve


On 4/30/07, Timothy Redmond <tredmond at stanford.edu> wrote:
>
>
> On Apr 27, 2007, at 1:30 PM, Steve Jonathan Tirtha wrote:
>
> > Hi,
> >
> > After studying OWL, I see, that OWL can only represent a statement/
> > knowledge in S-P-O(Subject-Predicate-Object).
> > Can I also define S-P-O-Context. I don't know the right term, so I
> > call it "Context".
> > Example: S-P-O
> >                    - Person signs Contract
> >                    - Michael signs LicenseAgreementNr.12
> >                S-P-O-Context
> >                    - Person signs Contract on [Time Context]
> >                    - Michael signs LicenseAgreementNr. 12 on August
> > 12th 2006
> >
> > [Time Context] defines when a person signs a contract.
>
> I think that the issue you are getting at is the problem described in
> http://www.w3.org/TR/swbp-n-aryRelations/.  This is a known problem
> and that web page gives a couple of approaches for solving the problem.
>
> >
> > I think, OWL can't represent  more than S-P-O.
> >
>
> This is a little subtle.  The statement you made is quite reasonable
> for the RDF language.  So one could argue that since OWL has a
> semantics based on the RDF semantics (http://www.w3.org/TR/owl-
> semantics/rdfs.html) the statement that you made also applies to
> OWL.  This is a defensible position.
>
> However I would argue that this is not an entirely natural
> viewpoint.  Say we look at a statement like
>
>        MyFavoritePizza = Pizza and (hasTopping some SausageTopping) and
> (hasBase all ThinAndCrispyBase).
>
> It is possible to express the semantics  of such a statement in terms
> of triples.  But I would argue that the more natural semantics is the
> direct model  theoretic semantics (http://www.w3.org/TR/owl-semantics/
> direct.html).  There is no need to turn this statement into a
> collection of triples in order to understand its meaning.
>
> -Timothy
>
>
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing:
> http://protege.stanford.edu/doc/faq.html#01a.03
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070430/1c6dcd2a/attachment.html>


More information about the protege-owl mailing list