math - Encoding mathematical properties in RDF -

-

i have been trying find solution adding relationships, such x has unit a < 20 existing ontology, but, not find solution far.

an existing knowledge graph - rdf - has many concepts , relationships. in attempt improve accuracy of inferences, trying add key properties few of concepts.

example:

concept x causes concept y. and, know concept y has property abc < 30 always.

please suggest on how add kind of relationships few concepts in knowledge graph - rdf

as mentioned in answer functions manipulate rdf collections in sparql, can mathematics in sparql, query language rdf. encoding arbitrary mathematical formulas (which title suggests), might interested in

wenzel, ken, , heiner reinhardt. "mathematical computations linked data applications openmath." joint proceedings of 24th workshop on openmath , 7th workshop on mathematical user interfaces (mathui). 2012.

all said, you're describing here (that value of of property have value less number), expressible in owl. particular situation was:

concept x causes concept y. and, know concept y has property abc < 30 always.

i'm not sure mean concept causing another, can every instance of y has values less 30 property abc. that's pretty straightforward. it's axiom (in manchester syntax)

y subclassof abc xsd:integer[< 30]

and in dl syntax:

y ⊑ ∀abc.xsd:integer[< 30]

in protégé looks like:

facet subclass axiom

and in rdf representation of owl ontology (in turtle , rdf/xml):

@prefix :      <https://stackoverflow.com/q/24134785/1281433/facets#> . @prefix owl:   <http://www.w3.org/2002/07/owl#> . @prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix xsd:   <http://www.w3.org/2001/xmlschema#> . @prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .  :abc          owl:datatypeproperty .  <https://stackoverflow.com/q/24134785/1281433/facets>               owl:ontology .  :y                     owl:class ;         rdfs:subclassof  [                  owl:restriction ;                            owl:allvaluesfrom  [                     rdfs:datatype ;                                                 owl:ondatatype        xsd:integer ;                                                 owl:withrestrictions  ( [ xsd:maxexclusive                                                                   30 ] )                                               ] ;                            owl:onproperty     :abc                          ] . 
<rdf:rdf     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"     xmlns="https://stackoverflow.com/q/24134785/1281433/facets#"     xmlns:owl="http://www.w3.org/2002/07/owl#"     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"     xmlns:xsd="http://www.w3.org/2001/xmlschema#">   <owl:ontology rdf:about="https://stackoverflow.com/q/24134785/1281433/facets"/>   <owl:class rdf:about="https://stackoverflow.com/q/24134785/1281433/facets#y">     <rdfs:subclassof>       <owl:restriction>         <owl:onproperty>           <owl:datatypeproperty rdf:about="https://stackoverflow.com/q/24134785/1281433/facets#abc"/>         </owl:onproperty>         <owl:allvaluesfrom>           <rdfs:datatype>             <owl:ondatatype rdf:resource="http://www.w3.org/2001/xmlschema#integer"/>             <owl:withrestrictions rdf:parsetype="collection">               <rdf:description>                 <xsd:maxexclusive rdf:datatype="http://www.w3.org/2001/xmlschema#integer"                 >30</xsd:maxexclusive>               </rdf:description>             </owl:withrestrictions>           </rdfs:datatype>         </owl:allvaluesfrom>       </owl:restriction>     </rdfs:subclassof>   </owl:class> </rdf:rdf>

Comments

Post a Comment

Popular posts from this blog

C# random value from dictionary and tuple -

-
i have following code, , need random item contains string "region_1" dictionary. public static dictionary<int, tuple<string, int, currencytype>> itemarray = new dictionary<int, tuple<string, int, currencytype>>() { { 0xb3e, new tuple<string, int, currencytype>("region_1", 1500, currencytype.fame) } }; public static int generateitemid(string shopid) { var generateditem = itemarray.elementat(new random().next(0, itemarray.count)).key; } how select this? it's not possible efficiently... first create static random @ class level... prevent non-random behaviour if run query on short period of time... (it's seeded discrete clock) static random rnd = new random(); then: var item = itemarray.values .where(t => t.item1 == shopid) .orderby(_ => rnd.next()) .firstordefault()
Read more

cgi - How do I interpret URLs without extension as files rather than missing directories in nginx? -

-
so i'm trying install zoneminder , have run under nginx, has few compiled files need run using fast-cgi. these files lack extension. if file has extension, there no issue , nginx interprets file , return 404 if can't find it. if has no extension, assume it's directory , return 404 when can't find sort of index page. here have now: # security camera domain. server { listen 888; server_name mydomain.com; root /srv/http/zm; # enable php support. include php.conf; location / { index index.html index.htm index.php; } # enable cgi support. location ~ ^/cgi-bin/(.+)$ { alias /srv/cgi-bin/zm/; fastcgi_pass unix:/run/fcgiwrap.sock; fastcgi_param script_filename $document_root/$1; include fastcgi.conf; } } the idea is, under cgi-bin directory goes through fastcgi pipe. any idea on howi can fix this? upon closer inspection, realized zoneminder has 2 cgi sc...
Read more

.htaccess - htaccess convert request to clean url and add slash at the end of the url -

-
ok , searched more 4 days , more 20 posts here in stach or in websites without kind of success first here htaccess file rewriteengine on rewriterule ^([a-za-z0-9_]+)/?$ index.php?page=$1 [nc] rewriterule ^([a-za-z0-9_]+)\/([a-za-z0-9_]+)\/?$ index.php?page=$1&action=$2 [nc] i tried many codes 1 worked me can call request , works me www.example.com/pagename => www.example.com/index.php?page=pagename here questions , please provide me information "in detail" understand code well 1- how convert request automatically www.example.com/index.php?page=pagename www.example.com/pagename 2- if tried add slash @ end shows me page without images or styling mean www.example.com/pagename => works www.example.com/pagename/ => doesn't work that's :) for first part need 301 rule this: rewritecond %{the_request} /index\.php\?page=([^\s&]+) [nc] rewriterule ^ /%1? [r=301,l] for second part use absolute path in css, js, images files r...
Read more