Как вывести такое «косвенное» утверждение с помощью OWL или SWRL? - PullRequest
Новая
       91

Как вывести такое «косвенное» утверждение с помощью OWL или SWRL?

0 голосов
/ 13 июня 2018

Знание

сегодня мокрый газон, если вчера вечером шел дождь

Факт

мы обнаружили, что газон был мокрымутро

Infer

прошлой ночью шел дождь

это принадлежит SWRL?

что я должен прочитать или проверить, чтобы легкопонимать это?

1 Ответ

0 голосов
/ 14 июня 2018

Я понял, я вставил файл синтаксиса черепахи.

Чтобы сделать это, нам нужно сделать Object (Predict) Properties.

hasFact
previousDay
nextDay (inverseOf previousDay)

Затем добавьте Individuals вроде:

URI: мокрый, дождь, сегодня, вчера

подтвердить сегодня предыдущий день вчера и сегодня hasFact wet, затем перейти кНа вкладке swrl добавьте это правило. 

hasFact(?today, wet) ^ previousDay(?today, ?yesterday) -> hasFact(?yesterday, rain)

Начните, ПРИЧИНЯЯ, что оно будет работать.

enter image description here

@prefix : <http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31> .

<http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
<http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#hasFact
:hasFact rdf:type owl:ObjectProperty .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#nextDay
:nextDay rdf:type owl:ObjectProperty ;
         owl:inverseOf :previousDay .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#previousDay
:previousDay rdf:type owl:ObjectProperty .


#################################################################
#    Data properties
#################################################################

###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#hasValue
:hasValue rdf:type owl:DatatypeProperty ;
          rdfs:range [ rdf:type rdfs:Datatype ;
                       owl:oneOf [ rdf:type rdf:List ;
                                   rdf:first "rain" ;
                                   rdf:rest [ rdf:type rdf:List ;
                                              rdf:first "wet" ;
                                              rdf:rest rdf:nil
                                            ]
                                 ]
                     ] .


#################################################################
#    Classes
#################################################################

###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#Day
:Day rdf:type owl:Class .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#ItRainsLastNight
:ItRainsLastNight rdf:type owl:Class ;
                  owl:equivalentClass [ rdf:type owl:Restriction ;
                                        owl:onProperty :previousDay ;
                                        owl:someValuesFrom [ rdf:type owl:Restriction ;
                                                             owl:onProperty :hasFact ;
                                                             owl:hasValue :rain
                                                           ]
                                      ] ;
                  rdfs:subClassOf :Phenomenon .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#Phenomenon
:Phenomenon rdf:type owl:Class .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#Today
:Today rdf:type owl:Class ;
       rdfs:subClassOf :Day .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#Weather
:Weather rdf:type owl:Class .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#Yesterday
:Yesterday rdf:type owl:Class ;
           rdfs:subClassOf :Day .


#################################################################
#    Individuals
#################################################################

###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#rain
:rain rdf:type owl:NamedIndividual ,
               :Weather ;
      :hasValue "rain"^^xsd:string .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#today2018614
:today2018614 rdf:type owl:NamedIndividual ,
                       :Today ;
              :hasFact :wet ;
              :previousDay :yesterday2018613 .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#wet
:wet rdf:type owl:NamedIndividual ,
              :Phenomenon ;
     :hasValue "wet"^^xsd:string .


###  http://www.semanticweb.org/monsterstep/ontologies/2018/5/untitled-ontology-31#yesterday2018613
:yesterday2018613 rdf:type owl:NamedIndividual ,
                           :Yesterday .


#################################################################
#    Rules
#################################################################

<today> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

<yesterday> rdf:type <http://www.w3.org/2003/11/swrl#Variable> .

[ <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled> "true"^^xsd:boolean ;
   rdfs:comment ""^^xsd:string ;
   rdfs:label "ItRainsLastNight"^^xsd:string ;
   rdf:type <http://www.w3.org/2003/11/swrl#Imp> ;
   <http://www.w3.org/2003/11/swrl#body> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasFact ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <today> ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> :wet
                                                     ] ;
                                           rdf:rest [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                                      rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                                  <http://www.w3.org/2003/11/swrl#propertyPredicate> :previousDay ;
                                                                  <http://www.w3.org/2003/11/swrl#argument1> <today> ;
                                                                  <http://www.w3.org/2003/11/swrl#argument2> <yesterday>
                                                                ] ;
                                                      rdf:rest rdf:nil
                                                    ]
                                         ] ;
   <http://www.w3.org/2003/11/swrl#head> [ rdf:type <http://www.w3.org/2003/11/swrl#AtomList> ;
                                           rdf:first [ rdf:type <http://www.w3.org/2003/11/swrl#IndividualPropertyAtom> ;
                                                       <http://www.w3.org/2003/11/swrl#propertyPredicate> :hasFact ;
                                                       <http://www.w3.org/2003/11/swrl#argument1> <yesterday> ;
                                                       <http://www.w3.org/2003/11/swrl#argument2> :rain
                                                     ] ;
                                           rdf:rest rdf:nil
                                         ]
 ] .

###  Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi
...