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

spring - SubProtocolWebSocketHandler - No handlers -

-
i have ugly error during deploying spring app on jboss. 18:11:16,025 error [org.apache.catalina.core.containerbase.[jboss.web].[default-host].[/consumer]] (msc service thread 1-7) exception sending context initialized event listener instance of class org.springframework.web.context.contextloaderlistener: org.springframework.context.applicationcontextexception: failed start bean 'subprotocolwebsockethandler'; nested exception java.lang.illegalargumentexception: no handlers @ org.springframework.context.support.defaultlifecycleprocessor.dostart(defaultlifecycleprocessor.java:176) [spring-context-4.1.3.release.jar:4.1.3.release] @ org.springframework.context.support.defaultlifecycleprocessor.access$200(defaultlifecycleprocessor.java:51) [spring-context-4.1.3.release.jar:4.1.3.release] @ org.springframework.context.support.defaultlifecycleprocessor$lifecyclegroup.start(defaultlifecycleprocessor.java:346) [spring-context-4.1.3.release.jar:4.1.3.release] @ org.s...
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