0La chaleur
1Répondre
1La chaleur
1Répondre
Différents résultats de raisonnement entre Stardog et Protege
1La chaleur
1Répondre
Reasoner in Protege ne fonctionne pas avec les restrictions/cardinalités
1La chaleur
1Répondre
Pourquoi les conclusions visualisées en Protege diffèrent des axiomes inférées exportés
1La chaleur
1Répondre
Comprendre la Quantification Universelle en Protege avec Pellet et HermiT
0La chaleur
1Répondre
test si une classe OWL est un domaine/gamme d'une propriété
0La chaleur
1Répondre
obtenir tous les types, par exemple en utilisant hibou api 3.4.10 et 1.2.1 jfact
0La chaleur
1Répondre