syntax - How to define the type of elements in an rdf:Seq? -

-

i want create property defining rdf:seq rdfs:range of object :

eg:myproperty rdf:property;     rdfs:range rdf:seq;     .

i'm looking way define type of elements stored in rdf:seq. example, don't want :

eg:typeofelement rdf:class;     .  eg:somethingelse rdf:class;     .  [] eg:myproperty [         rdf:seq;         rdf:_1 [a eg:typeofelement];   # it's type want         rdf:_2 [a eg:typeofelement];   # it's type want         rdf:_3 [a eg:somethingelse];   # don't want type     ];     .

is there way define rdf:seq elements of type of eg:typeofelement when define eg:myproperty?

(i can use owl if necessary.)

there number of ways accomplish this, depending on implementation preferences. advice use rdf:li special property in place of arbitrary rdf:_nnn, easier extend. rdf:li equivalent rdf:_1, rdf:_2 in order. following code blocks equivalent:

:myseq rdf:seq;   rdf:_1 :foo;   rdf:_2 :bar .  :myseq rdf:seq;   rdf:li :foo;   rdf:li :bar .

note order in second block significant.

to accomplish asking, can extend rdf:li new property , refine domain/range (although these meaningful human readers, child property inherits semantics of parent):

:myitem rdfs:subpropertyof rdf:li;   rdfs:range :typeofelement;   rdfs:domain :myseq .

:myitem inherits semantics of rdf:li, whatever implementatin logic have can infer values of :myitem in meaningful order. next define :myseq class via property restriction:

:myseq rdfs:subclassof [      owl:restriction;      owl:onproperty :myitem;     owl:allvaluesfrom :typeofelement;].

which asserts :myseq class of things property :myitem explicitly used values of :typeofelement. can create lists :myseq.

to go step further, may define :myseq intersection of above rule , rdf:seq:

:myseq owl:class;     owl:equivalentclass     [ owl:class;         owl:intersectionof           ( rdf:seq             [a owl:restriction;              owl:onproperty :myitem;              owl:allvaluesfrom :typeofelement ]) ] .

note use owl:equivalentclass in place of rdfs:subclassof. if treat owl:equivalentclass symmetric , subsumed rdfs:subclassof, eg:

owl:equivalentclass owl:symmetricproperty . owl:equivalentclass rdfs:subpropertyof rdfs:subclassof .

then can have equivalence goes in both directions. therefore instances of rdf:seq values :myitem of :typeofelement instances of :myseq. in case inferring type. via statement:

:x rdf:seq; :myitem :foo, :bar .

you may infer :x :myseq.


Comments

Post a Comment

Popular posts from this blog

Java 3D LWJGL collision -

-
i making 3d java game lwjgl library, , wondering how add collision detection, player not go through models. i using obj models. here objloader class, loads models: package renderengine; import java.io.bufferedreader; import java.io.file; import java.io.filenotfoundexception; import java.io.filereader; import java.util.arraylist; import java.util.list; import models.rawmodel; import org.lwjgl.util.vector.vector2f; import org.lwjgl.util.vector.vector3f; public class objloader { public static rawmodel loadobjmodel(string filename, loader loader){ filereader fr = null; try { fr = new filereader(new file("res/"+filename+".obj")); } catch (filenotfoundexception e) { system.err.println("couldn't load file!"); e.printstacktrace(); } bufferedreader reader = new bufferedreader(fr); string line; list<vector3f> vertices = new arraylist<vector3f...
Read more

methods - python can't use function in submodule -

-
my folder structure this: pythonstuff/ program.py modulea/ __init__.py foo.py bar.py here's code bar.py : def hello(): print("hello, world!") here's code program.py : #!/usr/bin/env python3 modulea import bar bar.hello() i run $ python3 program.py somehow error: file "program.py", line 3, in <module> bar.hello() attributeerror: 'module' object has no attribute 'hello' edit: __init__.py file empty. edit2: after trying realized had bar.py in root directory contained hello() method. bar.py in modulea/ directory empty. add it import os __all__ = [] module in os.listdir(os.path.dirname(__file__)): if module != '__init__.py' , module[-3:] == '.py': __all__.append(module[:-3]) the init .py files required make python treat directories containing packages; done prevent directories common name, such string, unintentionally hiding v...
Read more

c# - ErrorThe type or namespace name 'AxWMPLib' could not be found (are you missing a using directive or an assembly reference?) -

-
what possible reference handler axwmplib._wmpocxevents_playstatechangeeventhandler ? when pass event in method, private void axwindowsmediaplayer1_playstatechange(object sender,axwmplib._wmpocxevents_playstatechangeevent e) compiling throws following error: the type or namespace name 'axwmplib' not found (are missing using directive or assembly reference?) if using visual studio make sure have axwmplib listed under references in solution explorer. if have embedded windows media player control in form, should have been added automatically along wmplib . an easy way add these libraries if missing add windows media player control form (an existing 1 do). right-click on toolbox , pick "choose items..." context menu, tick "windows media player" control on "com components" tab , click ok. should have little windows media player icon attached cursor; click on form add it. add axwmplib , wmplib references solution. can delete w...
Read more