Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

Discussion: SWRL et Pellet

  1. #1
    Futur Membre du Club
    Femme Profil pro
    Développeur informatique
    Inscrit en
    avril 2012
    Messages
    66
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : Tunisie

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : Transports

    Informations forums :
    Inscription : avril 2012
    Messages : 66
    Points : 16
    Points
    16

    Par défaut SWRL et Pellet

    Bonsoir je voudrais savoir comment travailler avec le moteur d'inférence Pellet pour inférer/interpréter mes règles SWRL sachant que je travaille avec protégé 3.4.6 et que Pellet est installé par défaut. En fait, Si je clique par exemple sur le menu Reasonning-->Compute inferred types, ça m'affiche pas le résultat de la régle SWRL inférrée.
    Merci d'avance

  2. #2
    Membre habitué
    Avatar de cotechnoe
    Homme Profil pro Michel Héon
    Chercheur en informatique
    Inscrit en
    mars 2012
    Messages
    56
    Détails du profil
    Informations personnelles :
    Nom : Homme Michel Héon
    Localisation : Canada

    Informations professionnelles :
    Activité : Chercheur en informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : mars 2012
    Messages : 56
    Points : 112
    Points
    112

    Par défaut SWRL et inférence dans Protégé 3

    Bonjour wrama_warma

    Voici ce que j'ai extrait du site de Protégé 3 ( http://protegewiki.stanford.edu/wiki...b#Installation )

    Installation
    ....
    ...The Protege-OWL distribution does not include any rule engines. If a particular rule engine is used, it must be installed separately. At present, only the Jess rule engine is supported. Information on installing Jess is described here ( http://protege.cim3.net/cgi-bin/wiki...JessTab#nid6RJ )


    Pour inférer des règles SWRL dans Protégé 3.4.X, Jess doit être installé. Pellet peut inférer des règles SWRL mais il n'y a pas de pont entre l'API de Protégé 3.4.X pour inférer des règles SWRL avec Pellet.

    Essentiellement ce que tu dois faire c'est:
    - télécharger Jess du site http://herzberg.ca.sandia.gov/jess/
    - Copier jess.jar dans PROTEGE_HOME/plugins/edu.stanford.smi.protegex.owl/

    Voir le site suivant pour le détail originale: http://protege.cim3.net/cgi-bin/wiki.pl?SWRLJessInstall

    Bonne chance

  3. #3
    Futur Membre du Club
    Femme Profil pro
    Développeur informatique
    Inscrit en
    avril 2012
    Messages
    66
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : Tunisie

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : Transports

    Informations forums :
    Inscription : avril 2012
    Messages : 66
    Points : 16
    Points
    16

    Par défaut

    Bonjour cotechnoe... je viens d'installer le moteur d'inférence Jess que tu m'a recommandé.Toutefois, je viens d'écrire la règle SWRL suuivante comme exemple pour me familiariser avec le moteur Jess :

    et lorsque je clique successivement sur les boutons "OWL+SWRL-->Jess", "Run Jess" et "Jess-->OWL" ca m'affiche pas la nouvelle ontologie OWL inférée..
    Le SWRLJessBridge m'affiche uniquement le message suivant :
    Successfully transferred inferred facts to OWL model.
    Number of axioms inferred: 0
    The process took 1 millisecond(s).

    J'arrive pas à comprendre c'est quoi le problème sachant que pere, enfant et soeur ce sont des concepts que j'ai défini et que la relation "est_pere_de" relie le concept pere et le concept enfant, tandis que la relation "est_soeur_de" relie le concept soeur et le concept pere.

    La relation "est_tante_de" ne relie entre aucuns des concepts.
    Images attachées Images attachées

  4. #4
    Futur Membre du Club
    Femme Profil pro
    Développeur informatique
    Inscrit en
    avril 2012
    Messages
    66
    Détails du profil
    Informations personnelles :
    Sexe : Femme
    Localisation : Tunisie

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : Transports

    Informations forums :
    Inscription : avril 2012
    Messages : 66
    Points : 16
    Points
    16

    Par défaut

    Et surtout, que voulait il dire par Number of axioms inferred ?? (dans mon cas c'est égal à zéro!!) Merci d'avance

  5. #5
    Membre habitué
    Avatar de cotechnoe
    Homme Profil pro Michel Héon
    Chercheur en informatique
    Inscrit en
    mars 2012
    Messages
    56
    Détails du profil
    Informations personnelles :
    Nom : Homme Michel Héon
    Localisation : Canada

    Informations professionnelles :
    Activité : Chercheur en informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : mars 2012
    Messages : 56
    Points : 112
    Points
    112

    Par défaut Ajuster les propriétés

    Ta règle est correctement écrite.
    Ce qu'il faut savoir, c'est que le conséquent d'une règle (ici, est_tante_de(...)) sera exécuté ssi l'antécédent est vrai.
    Ors, dans ton cas, je pense que tu n'as pas associé les individus rami et marwa avec la propriété est_pere_de ainsi que jamila et rami par la propriété est_soeur_de

    De plus, rami doit être une instance de pere, une instance de enfant et jamila une instance de soeur

    Voici la règle telque je l'ai écrite:

    Code :
    Pere(RAMI) ^ Enfant(MARWA) ^ Soeur(JAMILA) ^ estPereDe(RAMI, MARWA) ^  estSoeurDe(JAMILA, RAMI) ->  estTanteDe(JAMILA, MARWA)
    (Je te suggère de prendre note de la notation qui est plus conforme aux bonne pratiques d'écriture dans une ontologie)

    et voici l'ontologie sans la règle
    Code :
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    <?xml version="1.0"?>
    <rdf:RDF
        xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"
        xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
        xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#"
        xmlns="http://www.owl-ontologies.com/Ontology1339490025.owl#"
        xmlns:swrl="http://www.w3.org/2003/11/swrl#"
        xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
        xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
        xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
        xmlns:owl="http://www.w3.org/2002/07/owl#"
        xmlns:sqwrl="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl#"
      xml:base="http://www.owl-ontologies.com/Ontology1339490025.owl">
      <owl:Ontology rdf:about="">
        <owl:imports rdf:resource="http://sqwrl.stanford.edu/ontologies/built-ins/3.4/sqwrl.owl"/>
        <owl:imports rdf:resource="http://swrl.stanford.edu/ontologies/3.3/swrla.owl"/>
      </owl:Ontology>
      <owl:Class rdf:ID="Soeur"/>
      <owl:Class rdf:ID="Enfant"/>
      <owl:Class rdf:ID="Pere"/>
      <owl:ObjectProperty rdf:ID="estTanteDe"/>
      <owl:ObjectProperty rdf:ID="estSoeurDe">
        <rdfs:range rdf:resource="#Pere"/>
        <rdfs:domain rdf:resource="#Soeur"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="estPereDe">
        <rdfs:range rdf:resource="#Enfant"/>
        <rdfs:domain rdf:resource="#Pere"/>
      </owl:ObjectProperty>
      <Soeur rdf:ID="JAMILA">
        <estSoeurDe>
          <Pere rdf:ID="RAMI">
            <estSoeurDe rdf:resource="#JAMILA"/>
            <estPereDe>
              <Enfant rdf:ID="MARWA"/>
            </estPereDe>
          </Pere>
        </estSoeurDe>
      </Soeur>
    </rdf:RDF>
    Je t'invites à porter une attention particulière aux lignes 31 à 40 qui démontrent que JAMILA estSoeurDe RAMI et que RAMI estPereDe MARWA. Lorsque tu auras éxécuté la règle, le prédicat estTanteDe devrait associer JAMILA et MARWA

    Pour ce qui est de ta question concernant les AXIOMES, le sens du terme varie beaucoup d'un contexte à l'autre, et d'un auteur à l'autre. Dans le cas de SWRL et de ton exemple, l'énonce estTanteDe(JAMILA, MARWA) est considéré comme un axiome.

    Voilà et à bientôt.

  6. #6
    Invité régulier
    Homme Profil pro Aladin ZAIER
    Ingénieur systèmes et réseaux
    Inscrit en
    novembre 2012
    Messages
    6
    Détails du profil
    Informations personnelles :
    Nom : Homme Aladin ZAIER
    Localisation : France, Hérault (Languedoc Roussillon)

    Informations professionnelles :
    Activité : Ingénieur systèmes et réseaux
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : novembre 2012
    Messages : 6
    Points : 7
    Points
    7

    Par défaut

    Est ce que le JessTab est supporté par protégé 4 ?
    Parce que j'arrive par à intégrer le plugin JessTab à protégé (4)
    Merci !

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •