search

slitayem / fuxi

Automatically exported from code.google.com/p/fuxi
0 stars 0 forks source link

Superproperty values are not inferred #19

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?
1. Prepare a vocabulary with an rdfs:subPropertyOf relation. An example is 
attached as subprop-tbox.n3.
2. Prepare instance data that uses a subproperty from that vocabulary. An 
example is attached as subprop-abox.n3.
3. Use FuXi to materialize inferences from this data. An example program for 
this is attached as reason.py (`python reason.py subprop-tbox.n3 
subprop-abox.n3`).

What is the expected output? What do you see instead?
I expect to see the inferred superproperty statement, among other RDFS 
entailments. I do not see such a statement.

What version of the product are you using? On what operating system?
cset a2e7663d59cd

Please provide any additional information below.
Note that other RDFS entailments (superclass, domain, range) are performed as 
they should.
I observe this also on "real" vocabularies like DC (e.g. dcterms:title is a 
subproperty of dc:title).

Original issue reported on code.google.com by vfaronov on 24 Jul 2010 at 7:55

Attachments:

GoogleCodeExporter commented 8 years ago 
From what I can understand, the FuXi.DLP.T function, responsible for converting 
RDFS/OWL ontologies into rulesets, handles subClassOf/domain/range but does 
nothing to spot and convert subPropertyOf. I have no understanding of the 
theory, though, so cannot provide a patch.

Original comment by vfaronov on 27 Jul 2010 at 5:31

GoogleCodeExporter commented 8 years ago 
See: 
http://code.google.com/p/fuxi/source/detail?r=781be253fe4b15304b8679b84993794322
47a148

Original comment by chime...@gmail.com on 1 Aug 2010 at 6:07