type inference - OWL Intersection on class level -

-

i have class hierarchy this:

thing   - classa     -classc     -classd   - classb     -classc     -classe

class c subclass of both, classa , classb while classd , classe subclasses of either classa or classb

now specify class equivalent intersection of subclasses of classa , classb. following doesn't work:

namedclass owl:class namedclass owl:equivalentclass (classa , classb)

the reason sort of rule used reasoner classify individuals, i.e. had individual ind1 of type classa , classb, classified of type namedclass. not (only) want. want classc subclass of namedclass.

i know achievable using rules (e.g. spin) can done without rules?

let's start initial hierarchy, including f, before we've declared f equivalent intersection of , b:

enter image description here

then add (a , b) class equivalent f. protégé smart enough render things equivalent or subclasses of intersections under each of intersected classes, see f appear in 2 places here.

enter image description here

a reasoner can confirm relation, too. here i've turned on pellet, entered f dl query, , asked subclasses. sure enough, c subclass of f:

enter image description here

here's ontology can copy , paste:

@prefix :      <http://stackoverflow.com/q/22221549/1281433/> . @prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl:   <http://www.w3.org/2002/07/owl#> . @prefix xsd:   <http://www.w3.org/2001/xmlschema#> . @prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .  :ontology owl:ontology .  :a owl:class . :b owl:class . :c owl:class ; rdfs:subclassof  :a , :b . :d owl:class ; rdfs:subclassof  :a . :e owl:class ; rdfs:subclassof  :b . :f owl:class ;      owl:equivalentclass [ owl:class ;                            owl:intersectionof  ( :a :b ) ] .

Comments

Post a Comment

Popular posts from this blog

c# - How to get the current UAC mode -

-
can check current uac type set in device before running application through c#. i got know approach check whether current user administrator or not. but, need know uac type set (i.e. default/never notify) internal logic. is possible? please help. this article self-elevation , checking level program runs in. due security reasons i'm afraid won't able retrieve uac level set. http://code.msdn.microsoft.com/windowsdesktop/csuacselfelevation-644673d3
Read more

postgresql - Lazarus + Postgres: incomplete startup packet -

-
i've been building lazarus pascal program using postgresql on back-end. used work fine following lines opening db. dbconn:= tpqconnection.create(nil); dbconn.hostname := 'localhost'; dbconn.databasename:= 'dbhrs'; dbconn.username:='mizk'; dbconn.password:='123'; dbconn.open; if dbconn.connected openhrsdb := true else openhrsdb := false; but moment change localhost server's ip (on lan), program stops. no errors or warnings. have no clue happening. here related details may narrow down problem. the program i'm running workstation on same lan server. both machines run ubuntu 12.04 desktop i can access postgres db on server using pgadmin iii, guess it's not firewall issue. i have allowed postgresql ufw , ufw disabled. strangely, when firewall disabled, can ssh server terminal using workstation. when it's enabled, can't my biggest concern right why pascal program not working when i...
Read more

javascript - Ajax jqXHR.status==0 fix error -

-
$.ajax({ url: urlstring, datatype: "json", type: "get", success: function (data) { alert(data); }, error: function (jqxhr, exception) { if (jqxhr.status === 0) { alert('not connect.\n verify network.'); } else if (jqxhr.status == 404) { alert('requested page not found. [404]'); } else if (jqxhr.status == 500) { alert('internal server error [500].'); } else if (exception === 'parsererror') { alert('requested json parse failed.'); } else if (exception === 'timeout') { alert('time out error.'); } else if (exception === 'abort') { alert('ajax request aborted.'); } else { alert('uncaught error.\n' + jqxhr.responsete...
Read more