LISTSERV mailing list manager LISTSERV 16.5

Help for CODE4LIB Archives


CODE4LIB Archives

CODE4LIB Archives


CODE4LIB@LISTS.CLIR.ORG


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CODE4LIB Home

CODE4LIB Home

CODE4LIB  September 2013

CODE4LIB September 2013

Subject:

Re: Expressing negatives and similar in RDF

From:

Karen Coyle <[log in to unmask]>

Reply-To:

[log in to unmask]

Date:

Mon, 23 Sep 2013 17:11:20 -0700

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (305 lines)

Jeremy,

This is the kind of thing that people are doing with SPARQL, and I think 
the principle is the same although the technology is different. SPARQL 
has ways to do negation in a query:
   http://www.w3.org/TR/sparql11-query/#negation

The difference between that and stating that something positively does 
not exist is that the query result tells you whether or not it exists in 
whatever universe you are querying, and the original post was about 
positively stating that something does NOT exist in the real world 
resource, not that it does not exist in that set of data. And that's 
where the "purely monotonic and described in terms of positive inference 
rules" gets in the way. So in RDF you have true and unknown, but it's 
not easy to get a hard "false." That said, many of the validation 
techniques that were demonstrated at the W3C workshop were run on closed 
systems, so a strict RDF "unknown" could be interpreted for all intents 
and purposes as "false." But I don't recall anyone having suggested a 
way to state non-existence at the time of metadata creation.

kc


||
On 9/23/13 3:48 PM, Jeremy Nelson wrote:
> Just a quick follow-up to Steve's email. For the bibliographic datastore (https://github.com/jermnelson/redis-library-services-platform) I've been developing using Redis, we are able to use Redis commands to distinguish between these three states (True, False, Unknown/null) for an entity's properties that is stored in either hash, set, or sorted set data primitives.
>
> For an entity with its properties in a Redis hash data primitive:
>
> HGET 'bf:Book:1' 'title' => Either returns a value (can be any string; either a literal of URI) or null
> HEXISTS 'bf:Book:1' 'title' => True or False Boolean
>
> In implementing the client-side programming logic to handle these three states, we are able to distinguish the negative from the null value and provide appropriate logic to handle each case.
>
> Jeremy Nelson
> Metadata and Systems Librarian
> Colorado College
>
>
> -----Original Message-----
> From: Code for Libraries [mailto:[log in to unmask]] On Behalf Of Karen Coyle
> Sent: Sunday, September 22, 2013 10:14 AM
> To: [log in to unmask]
> Subject: Re: [CODE4LIB] Expressing negatives and similar in RDF
>
> Steve, yes, you've nailed it, IMO.
>
> There's a paper from some DERI folk that addresses negations, and it's all so complex that it does make one want to say: fuggetaboudit. Here's a snippet:
>
> ************begin snippet
>
> The semantics of RDF(S) is purely monotonic and described in terms of positive inference rules, so even if Charles added instead a new statement
>
> :me myfoaf:doesntknow <http://alice.exa.org/i> .
>
> he would not be able to state that statements with the property myfoaf:doesntknow should single out foaf:knows statements.
>
> Tim Berners-Lee’s Notation 3 (N3) [2] provides to some extent means to express what we are looking for by the ability to declare falsehood over reified statements which would be written as:
>
> { :me foaf:knows <http://alice.exa.org/i> } a n3:falsehood .
>
> Nonetheless, this solution is somewhat unsatisfactory, due to the lack of formal semantics for N3; N3’s operational semantics is mainly defined in terms of its implementation
> cwm3 only.
>
> The falsehood of Charles knowing Alice can be expressed in OWL, however in a pretty contrived way, as follows (for the sake of brevity we use DL notation here, the reader might translate this to OWL syntax straightforwardly):
>
> fcharlesg 2 8foaf:knows::faliceg  [kc:this is a bunch of logical symbols that don't come through w copy/paste]
>
> Reasoning with such statements firstly involves OWL reasoning with nominals, which most DL reasoners are not particularly good at, and secondly does not buy us too much, as the simple merge of this DL statement with the information in Bob’s FOAF file would just generate a contradiction, invalidating all, even the useful answers. Para-consistent reasoning on top of OWL, such as for instance proposed in [9] and related approaches, solve this problem of classical inference, but still requiring full OWL DL reasoning.
>
> ***********end snippet
>
> Anyway, for one's reading pleasure:
>
> http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-314/55.pdf
>
> I suspect this is something like validation that will come up in some STEM communities in areas where they really must solve it, and therefore there will be folks working on a solution. i'm happy to leave it to others, personally. It's way over my head.
>
> kc
>
>
>
> On 9/22/13 7:05 AM, Steve Meyer wrote:
>> Isn't the issue here that it is very hard to break from the object/property
>> model into an RDF/assertion model [1]? It seems to me that the rare book
>> cataloger's assertion:
>>
>> "This book does not have a title"
>>
>> only looks like it should translate to
>>
>> example:book1 dc:title someOntology:nil
>>
>> because of our familiarity with object oriented programming:
>>
>> BibliographicResource bib = new BibliographicResource();
>> bib.getTitleStatement().getTitle(); // returns null
>>
>> However, does this incorrectly assign the predicate and object of the
>> triple? Shouldn't it be:
>>
>> Subject: This book
>> Predicate: does not have a
>> Object: title
>>
>> and therefore look more like:
>>
>> example:book1 someOntology:lacksProperty dc:title
>>
>> The statement cannot be about the value of a book's title if it does not
>> have one. But the rare book cataloger is not making an assertion about the
>> book's title, but an assertion about the book's metadata.
>>
>> We seem to be mislead into thinking that null is a value because most
>> programming languages use equivalence syntax as shorthand for determining
>> if an object's property is set. That is, this:
>>
>> object.getTitle == "Semantic Web"
>>
>> looks a lot like this
>>
>> object.getTitle == null
>>
>> But it might be better to understand this problem in terms of a set of
>> key/value pairs in a Hash or Map:
>>
>> object.hasKey("title")
>>
>> -sm
>>
>> [1] "It is difficult to get a man to understand something, when his salary
>> depends upon his not understanding it!"
>>
>>
>> On Wed, Sep 18, 2013 at 10:58 AM, Karen Coyle <[log in to unmask]> wrote:
>>
>>> On 9/18/13 6:25 AM, [log in to unmask] wrote:
>>>
>>>> -----BEGIN PGP SIGNED MESSAGE----
>>>>
>>>> and without disagreeing with you, I would point out that if you say that
>>>> a given type of resource can have at most one dct:title (which is easy to
>>>> declare using OWL), and then apply that ontology to an instance that
>>>> features a resource of that type with two dct:titles, you're going to get
>>>> back useful information from the operation of your reasoner. An
>>>> inconsistency in your claims about the world will become apparent. I now
>>>> realize I should have been using the word "consistency" and not "validity".
>>>>
>>>> I suppose what I really want to know, if you're willing to keep "playing
>>>> reporter" on the workshop you attended, is whether there was an
>>>> understanding present that people are using OWL in this way, and that it's
>>>> useful in this way (far more useful than writing and maintaining lots and
>>>> lots and lots of SPARQL) and that this is a use case for ontology languages.
>>>>
>>> The workshop was expressly on validation of data. No one reported using
>>> "reasoners" to do validation, and one speaker talked about relying on OWL
>>> for their validation rules (but admitted that it was all in their closed
>>> world and was a bit apologetic about it). I don't have experience with
>>> reasoners, but one of the issues for validation using SPARQL is getting
>>> back specific information about what precise part of the query returned
>>> "false". I suspect that reasoners aren't good at returning such
>>> information, since that is not their purpose. I don't believe that they
>>> operate on a T/F basis, but now I'll start looking into them.
>>>
>>> One thing to remember about OWL is that it affects the semantics of your
>>> classes and properties in the open world. OWL intends to describe truths
>>> about a world of your design. It should affect not only your use of your
>>> data, but EVERYONE's use of your data in the cloud. Yet even you may have
>>> more than one application operating on the data, and those applications may
>>> have different requirements. Also, remember that the graph grows, so
>>> something that may be true at the moment of cataloging, for example, may
>>> not be true when your graph combines with other graphs. So you may say that
>>> there is one and only one main author to a work title, but that means one
>>> and only one URI. If your data combines with data from another source, and
>>> that source has used a different author URI, then what should happen? Each
>>> OWL rule makes a statement about a supposed reality, yet you may not have
>>> much control over that reality. Fewer rules ("least ontological
>>> commitment") means more possibilities for re-use and re-combining of your
>>> data; more rules makes it very hard for your data to play well in the world
>>> graph.
>>>
>>> There are cases where OWL *increases* the utility of your properties and
>>> classes, in particular declaring sub-class/sub-property relations. If we
>>> say that RDA:titleProper is a subproperty of dct:title then anyone who
>>> "knows" dct:title can make use of RDA:titleProper. But OWL as a way to
>>> *restrict* the definition of the world should be used with caution.
>>>
>>> I would like to see a discussion of what kinds of inferences we would like
>>> to make (or see made) of our data in the open world, and then those
>>> inferences should inform how we would use OWL. Do we want to infer that
>>> every resource has a title? Obviously not, from how this discussion
>>> started. How about that every resource has a known creator? (Not) Do we
>>> want to limit the number of titles or creators of a resource in the world
>>> graph? The number of identities they can have? Does it make sense to say
>>> that a FRBR:Work can have an "adaptationOf" relationship *only* with
>>> another FRBR:Work (when no one except libraries  is defining their
>>> resources in terms of FRBR:Work)?
>>>
>>> On the other hand, if two resources have the same title and the same date,
>>> are they the same resource? (maybe, maybe not).
>>>
>>> Oops. gotta run. I'm going to try to pull all of this together into
>>> something more coherent.
>>>
>>> Thanks,
>>> kc
>>>
>>>
>>>
>>>
>>>> - ---
>>>> A. Soroka
>>>> The University of Virginia Library
>>>>
>>>> On Sep 17, 2013, at 11:00 PM, CODE4LIB automatic digest system wrote:
>>>>
>>>>    From: Karen Coyle <[log in to unmask]>
>>>>> Date: September 17, 2013 12:54:33 PM EDT
>>>>> Subject: Re: Expressing negatives and similar in RDF
>>>>>
>>>>>
>>>>> Agreed that SPARQL is ugly, and there was  discussion at the RDF
>>>>> validation workshop about the need for friendly interfaces that then create
>>>>> the appropriate SPARQL queries in the background. This shouldn't be
>>>>> surprising, since most business systems do not require users to write raw
>>>>> SQL or even anything resembling code - often users fill in a form with data
>>>>> that is turned into code.
>>>>>
>>>>> But it really is a mistake to see OWL as a constraint language in the
>>>>> sense of validation. An ontology cannot constrain; OWL is solely
>>>>> *descriptive* not *prescriptive.* [1]
>>>>>
>>>>> Inferencing is very different from validation, and this is an area where
>>>>> the initial RDF documentation was (IMO) quite unclear. The OWL 2 documents
>>>>> are better, but everyone admits that it's still an area of confusion. (In a
>>>>> major act of confession at the DC2013 meeting, Ivan Herman, head of the W3C
>>>>> semantic web work, said that this was a mistake that he himself made for
>>>>> many years. Fortunately, he now helps write the documentation, and it's
>>>>> good that he has that perspective.) In effect, inferencing is the
>>>>> *opposite* of constraining. Inferencing is:
>>>>>
>>>>> "All men are liars. Socrates is a man. Therefore Socrates is a liar."
>>>>> "Every child has a parent. Johnny is a child. Therefore, Johnny has a
>>>>> parent." (whether you can find one or not is irrelevant)
>>>>> "Every child has two parents. Johnny is a child. Therefore Johnny has
>>>>> two parents. Mary is Johnny's parent." (no contradiction here, we just
>>>>> don't know who the other parent is)
>>>>> "Every child has two parents. Johnny is a child. Therefore Johnny has
>>>>> two parents. Mary is Johnny's parent. Jane is Johnny's parent. Fred is
>>>>> Johnny's parent." Here the reasoner detects a contradiction.
>>>>>
>>>>> The issue of dct:titles is an interesting example. dct:title takes a
>>>>> literal value. If you create a dct:title with:
>>>>>
>>>>> X dct:title http://example.com/junk
>>>>>
>>>>> with OWL rules that is NOT wrong. It simply provides the inference that "
>>>>> http://example.com/junk" is a string - but it can't prevent you from
>>>>> creating that triple, because it only operates on existing data.
>>>>>
>>>>> If you say that every resource MUST have a dct:title, then if you come
>>>>> across a resource without a dct:title that is NOT wrong. The reasoner would
>>>>> conclude that there is a dct:title somewhere because that's the rule.
>>>>>    (This is where the Open World comes in) When data contradicts reasoners,
>>>>> they can't work correctly, but they act on existing data, they do not
>>>>> modify or correct data.
>>>>>
>>>>> I'm thinking that OWL and constraints would be an ideal training
>>>>> webinar, and I think I know who could do it!
>>>>>
>>>>> kc
>>>>>
>>>>> [1] http://www.w3.org/TR/2012/REC-**owl2-primer-20121211/<http://www.w3.org/TR/2012/REC-owl2-primer-20121211/>
>>>>> "OWL 2 is not a schema language for syntax conformance. Unlike XML, OWL
>>>>> 2 does not provide elaborate means to prescribe how a document should be
>>>>> structured syntactically. In particular, there is no way to enforce that a
>>>>> certain piece of information (like the social security number of a person)
>>>>> has to be syntactically present. This should be kept in mind as OWL has
>>>>> some features that a user might misinterpret this way."
>>>>>
>>>> -----BEGIN PGP SIGNATURE-----
>>>> Version: GnuPG/MacGPG2 v2.0.19 (Darwin)
>>>> Comment: GPGTools - http://gpgtools.org
>>>>
>>>> iQEcBAEBAgAGBQJSOam0AAoJEATpPY**SyaoIkGpoIAIsIMO+Ev2d/**vdru8O9fQdz0
>>>> v770CxK1Dh/**x3GHY9HO7mrbEBpF2IoEWfhuC5UfUu**npaKUBybSCmngu9gBelRm59
>>>> AmPA6FAP+T/**JT2cbDRKUXxkGf0v0qjgt4etALI/**tdDK6Yhhtz2/hqvouJxxzvyld
>>>> PkATKiZVVSpIUT6pcz4nskOqVB8L1+**ef8kfls06Va78Vboic5Y5vtZgvxS1f**WIxZ
>>>> C0m9kwcvfVpBePbaaYm5mpoSuVJv/**p6DE/tMdtt3H60Qgp8CPA9v+fMrq+**DrVvZ6
>>>> DXAV4yUzAGTP5Qmkb4p+Ep3k08UN+**O9ndlpsvz830pmE7S0aMeyu8lQKjIm**RiOE=
>>>> =K8Si
>>>> -----END PGP SIGNATURE-----
>>>>
>>> --
>>> Karen Coyle
>>> [log in to unmask] http://kcoyle.net
>>> m: 1-510-435-8234
>>> skype: kcoylenet
>>>

-- 
Karen Coyle
[log in to unmask] http://kcoyle.net
m: 1-510-435-8234
skype: kcoylenet

Top of Message | Previous Page | Permalink

Advanced Options


Options

Log In

Log In

Get Password

Get Password


Search Archives

Search Archives


Subscribe or Unsubscribe

Subscribe or Unsubscribe


Archives

March 2024
February 2024
January 2024
December 2023
November 2023
October 2023
September 2023
August 2023
July 2023
June 2023
May 2023
April 2023
March 2023
February 2023
January 2023
December 2022
November 2022
October 2022
September 2022
August 2022
July 2022
June 2022
May 2022
April 2022
March 2022
February 2022
January 2022
December 2021
November 2021
October 2021
September 2021
August 2021
July 2021
June 2021
May 2021
April 2021
March 2021
February 2021
January 2021
December 2020
November 2020
October 2020
September 2020
August 2020
July 2020
June 2020
May 2020
April 2020
March 2020
February 2020
January 2020
December 2019
November 2019
October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006
April 2006
March 2006
February 2006
January 2006
December 2005
November 2005
October 2005
September 2005
August 2005
July 2005
June 2005
May 2005
April 2005
March 2005
February 2005
January 2005
December 2004
November 2004
October 2004
September 2004
August 2004
July 2004
June 2004
May 2004
April 2004
March 2004
February 2004
January 2004
December 2003
November 2003

ATOM RSS1 RSS2



LISTS.CLIR.ORG

CataList Email List Search Powered by the LISTSERV Email List Manager