rdf - What is the difference between DatatypeProperty, ObjectProperty, & FunctionalProperty, and when should I use them? -


when writing ontology, there several commonly used types, including:

  • datatypeproperty
  • objectproperty
  • functionalproperty
  • inversefunctionalproperty

the first 3 kinda they'd used in particular set of ways, find idea of them being challenged how i've seen them used in foaf.

when should each of them used or not used?

the first 2 of these, datatypeproperty , objectproperty, describe kind of values triple property should have. datatype properties relate individuals literal data (e.g., strings, numbers, datetypes, etc.) whereas object properties relate individuals other individuals. hasage typically datatype property, since age number, hasmother object property, since mother individual.

the last 2 of these, functionalproperty , inversefunctionalproperty, used put constraints on values of properties individuals. functional property means given individual can have @ 1 value it. logically, means if p functional property,

∀ x, y, z.( [p(x,y) ∧ p(x,z)] → y = z )

since owl not make unique name assumption, different iri can refer same individual, if hasmother functional property, can infer 

:john :hasmother :margaret . :john :hasmother :peggy .

that 

:margaret owl:sameas :peggy

of course, can used provide "negative inference," too. if know susan different person peggy, can infer susan not john's mother. i.e., 

:john :hasmother :peggy . :susan owl:differentfrom :peggy .

that it's false that

:john :hasmother :susan .

for datatype properties, works same way, there's more built in information literals different. e.g., reasoner should know "1"^^xsd:int different "2"^^xsd:int.

inverse functional properties similar, in reverse direction. if property p inverse functional property, given individual y, there should @ 1 x such p(x,y).

however, there slight caveat here. owl 2 dl supports inverse functional object properties, not inverse functional datatype properties. while can describe semantics inverse functional datatype property have ∀x,y,z ( [p(x,z) ∧ p(y,z)] → x = y), cannot have equivalence between conditions that

p inverse functional property

and

p-1 functional property

because datatype properties cannot have inverses. arises fact rdf (at least in current versions; i've heard there's talk of changing this, though don't know how whether change ripple out owl) not allow literal values subjects of triples. if datatype properties had inverses, have situation:

:hasname owl:inverseof :nameof . :john :hasname "john"@en .

and we'd infer

"john"@en :nameof :john . # not legal.

this means inverse functional property must object property.

(in owl full, reasoner use logical assertion , make appropriate inferences there, guess, based on logical representation. alternatively, reasoners, e.g., 's rule-based reasoners) remove "no literals allowed subjects" restriction internal representations, , filter results on way out make sure illegal-rdf doesn't escape.)

now, let's @ cases mentioned:

gender (functional , datatype)

this functional, because expect each individual have @ 1 value gender property. it's datatype property because designers of foaf expected values "male" or "female". if had defined symbolic constants, e.g., <http://.../male> , <http://.../female>, have been object property.

mbox (inverse functional , object)

mbox object property, presumably because values iris of form <mailto:someone@example.com>. it's inverse functional property because given mailbox, we'd expect @ 1 person have mailbox. (of course, people might share mailbox, isn't quite right time, oh well.) it's not functional property, though, because person can have multiple mailboxes.

mbox_sha1sum (inverse functional , datatype)

as recall, property relates indvidual sha1sum of mailbox. use of property means people don't have share real email address. it's inverse functional property same reason mbox is; expect each mbox_sha1sum belong @ 1 individual. similarly, it's not functional property, because person can have more 1 mailbox, , more 1 sha1sum.

this problematic case, because datatype property , inverse functional property, , shouldn't happen (as described above). however, owl full reasoner still might let infer if x , y both have same mbox1_shasum, x = y.

references

you can read formal definitions in owl 2 web ontology language direct semantics (second edition). you'd interested in 2.3.2 object property expression axioms , 2.3.3 data property expression axioms.


-

Comments

Post a Comment

Popular posts from this blog

html - Sizing a high-res image (~8MB) to display entirely in a small div (circular, diameter 100px) -

first of all, thank being patient know simple question more couple of weeks' experience figure out. i've seen folks persevere , helpful on here , hope you're willing me. here fiddle: http://jsfiddle.net/65uzf/ here 1 of places searched answers on here: ( vertically center image thumbnails fix-sized div ) tried solutions on there , didn't work out me. i've searched ~4 or 5 others, , been unsuccessful those, too. what want take large image (what linked background-image #ysypic , #tabpic divs) , display thumbnail version of image in confines of divs have set it. is, using background properties have laid out in css, portion of image displays inside of circular divs. without these properties, display defaults smaller section of image [presumably pi*(50^2) area in top left] terrible resolution. i not care if entire image doesn't display inside of circles (it won't, given difference in shape), , overflow not being displayed fine. want able see figu
Read more

java - IntelliJ - No such instance method -

using intellij's 12 ultimate, i'm running following code in debugger: java import play.api.libs.json.jsvalue; public class foo { ... public jsvalue tojson() { ... } public class fooexample { ... foo foo = new foo(); system.out.println("...); //<-- breakpoint at breakpoint, right-clicked source code , picked "evaluate expression," typing in: foo.tojson() . but following error showed up: no such instance method: play.api.libs.json.jsvalue$class.com.foo.foo.tojson () am doing wrong? foo#tojson calls scala code, if matters. edit had breakpoint after instantiation of foo. downvoted it, deserved it. edit my answer no longer valid after op modified question (i.e. moved breakpoint actual is).. a breakpoint hit before line executed. in case foo has not yet been declared or instantiated (i.e. foo constructor has not yet been called). you'll need put breakpoint @ next line (or step on current line) if want evaluate foo .
Read more

identifier - Is it possible for an html5 document to have two ids? -

i wondering if html5 element can have 2 ids, this: <button id="thing1" id="thing2" name="button1" onclick="change()">click here</button> or this: <button id="thing1, thing2" name="button1" onclick="change()">click here</button> also, if 1 of ids said 1 thing, , other id said thing, 1 used? tl;dr : no. in versions of html, each element can have 1 id. see the spec : the id attribute specifies element's unique identifier (id). [dom] the value must unique amongst ids in element's home subtree , must contain @ least 1 character. the value must not contain space characters. note: there no other restrictions on form id can take; in particular, ids can consist of digits, start digit, start underscore, consist of punctuation , etc. note: element's unique identifier can used variety of purposes, notably way link specific parts of document usin
Read more