특정 조건에 따라 개인을 클래스별로 분류하는 방법은?

Question

나는이 온톨로지 있습니다

• 클래스 에이전트와 집단 소송을
• 데이터 속성 (A dataproperty의 restrictionProperties의 상속)의 목록 (에이전트와 액션)와 범위 원시 (예의 도메인 UNION을 가지고 hasMoney, hasTime)

ag.hasTime> = ac.hasTime 및 ag.hasMoney> = ac.hasMoney 등 모든 개인을 분류하려고합니다. 여기서 ag는 Agent이고 ac는 Action 인스턴스입니다. 비교가있을 것이다 restrictionProperty의 상속 동일한 속성 ag.hasTime> = ac.hasTime

모든 dataProperty 사이에 항상

• :

  나는 이러한 조건이 몇 가지가 있다는 발언을 만들고 싶어 동일한 치료. 이 조건을 만족

• 모든 에이전트는 내가 그 표준 아니고 내가 SPARQL 항상 그것을 할 수 있다는 것을 읽을 수 있기 때문에 SWRL을 사용하지 않으려는, 예를 들어, 클래스 AgentRestrictions

에 속하는 것입니다.

SPARQL로 할 수있을 것 같지만 어떻게할지는 모르겠다. 그러나 나는 protege에서 클릭하는 솔루션을 선호합니다. 또는 공리로 명세화하기.

Answer 1

나는이 같은 의미라고 생각 :

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX owl: <http://www.w3.org/2002/07/owl#> 
PREFIX urPrefx :<http://YOUR ONTOLOGY PATH HERE> 
SELECT ?r (COUNT(DISTINCT ?r) AS ?countNo) 
WHERE 
{ 
    #Query 1.1 Where urPrefx:greaterOrEqualThan is a restricted property 
    ?data_property_individual_categorie rdfs:subPropertyOf urPrefx:greaterOrEqualThan. 

    #Query 1.2 Get all the action classes with those restricted property 
    {SELECT DISTINCT * WHERE {?individuals_actions rdf:type ?ActionsClasses.?individuals_actions ?data_property_individual_categorie ?values_action}} 

    #Query 1.3 Get all the agents with those restricted property 
    {SELECT DISTINCT * WHERE {?individuals_agents rdf:type ?AgentClasses. ?individuals_agents ?data_property_individual_categorie ?values_agent}} 

    #Get all No and Yes 
    BIND(if(?values_agent >=?values_action, urPrefx:Yes, urPrefx:No) AS ?r). 
}GROUP BY ?r 

지정해야 할 유일한 것은 NO 그 YES와이다; 당신이 그것으로 무엇을하고 싶은지. 명령 CONSTRUCT를 사용하여 AgentRestrictions 클래스에 지정해야합니다.