java - 如何在owlapi中使用带有颗粒的swrl内置函数？

我尝试在带有颗粒的Java owl-api中使用swrl。我看过：
owl2 and swrl tutorial
test of builtin swrl in pellet
和swrl definition

我设法使用swrl进行简单推断，例如：
A（？x）-> B（？x）

但是当需要使用诸如“等于”，“大于”，“小于等”之类的“内置” swrl谓词时，我陷入了困境。我认为我的测试程序（可能在名称空间中）存在问题，但我无法找到哪里。

预期的输出是：

<http://org.katk/Motifs#me> -> owl:Thing
<http://org.katk/Motifs#me> -> <http://org.katk/Motifs#A>
prop(me, 50)
A(?x) ← prop(?x, ?y) ⋀ equal(?y, 50)

但实际输出是：

<http://org.katk/Motifs#me> -> owl:Thing
prop(me, 50)
A(?x) ← prop(?x, ?y) ⋀ equal(?y, 50)

找不到A类。
这是我程序的代码：

package org.katk;

import java.util.HashSet;
import java.util.List;
import java.util.Set;

import org.semanticweb.owlapi.apibinding.OWLManager;
import org.semanticweb.owlapi.io.OWLObjectRenderer;
import org.semanticweb.owlapi.model.IRI;
import org.semanticweb.owlapi.model.OWLAxiom;
import org.semanticweb.owlapi.model.OWLClass;
import org.semanticweb.owlapi.model.OWLDataFactory;
import org.semanticweb.owlapi.model.OWLDataPropertyExpression;
import org.semanticweb.owlapi.model.OWLLiteral;
import org.semanticweb.owlapi.model.OWLNamedIndividual;
import org.semanticweb.owlapi.model.OWLOntology;
import org.semanticweb.owlapi.model.OWLOntologyChange;
import org.semanticweb.owlapi.model.OWLOntologyCreationException;
import org.semanticweb.owlapi.model.OWLOntologyManager;
import org.semanticweb.owlapi.model.SWRLAtom;
import org.semanticweb.owlapi.model.SWRLVariable;
import org.semanticweb.owlapi.reasoner.NodeSet;
import uk.ac.manchester.cs.owlapi.dlsyntax.DLSyntaxObjectRenderer;

import com.clarkparsia.pellet.owlapiv3.PelletReasoner;
import com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory;

public class Motifs {

    public static <T> IRI iri(final Class<T> clazz, final String name) {
        return IRI.create("http://" + clazz.getPackage().getName() + "/" + clazz.getSimpleName() + "#" + name);
    }

    final static IRI base = iri(Motifs.class, "ontology");
    final OWLDataFactory factory;
    final OWLOntology ontology;
    final OWLOntologyManager manager;

    public Motifs() throws OWLOntologyCreationException {
        manager = OWLManager.createOWLOntologyManager();
        factory = manager.getOWLDataFactory();
        ontology = manager.createOntology(base);
    }

    public OWLNamedIndividual declareIndividual(final IRI iri)
    {
        final OWLNamedIndividual baby = factory.getOWLNamedIndividual(iri);
        manager.addAxiom(ontology, factory.getOWLDeclarationAxiom(baby));
        return baby;
    }

    public List<OWLOntologyChange> addAxiom(final OWLAxiom axiom)
    {
        return manager.addAxiom(ontology, axiom);
    }

    public void applyAll() {
    final OWLClass clsA = factory.getOWLClass(iri(Motifs.class, "A"));

    final OWLDataPropertyExpression prop = factory.getOWLDataProperty(iri(Motifs.class, "prop"));
    final OWLDataPropertyExpression equal = factory.getOWLDataProperty(IRI.create("http://www.w3.org/2003/11/swrlb#equal"));

    final SWRLVariable varX = factory.getSWRLVariable(iri(Motifs.class, "x"));
    final SWRLVariable varY = factory.getSWRLVariable(iri(Motifs.class, "y"));
    final OWLLiteral literal = factory.getOWLLiteral(50);
    final OWLNamedIndividual ind = declareIndividual(iri(Motifs.class, "me"));
    addAxiom(factory.getOWLDataPropertyAssertionAxiom(prop, ind, literal));

    final Set<SWRLAtom> antecedent = new HashSet<>();
    antecedent.add(factory.getSWRLDataPropertyAtom(prop, varX, varY));
    antecedent.add(factory.getSWRLDataPropertyAtom(equal, varY, factory.getSWRLLiteralArgument(literal)));

    final Set<SWRLAtom> consequences = new HashSet<>();
    consequences.add(factory.getSWRLClassAtom(clsA, varX));

    addAxiom(factory.getSWRLRule(antecedent, consequences));

    final PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner(ontology);
    final NodeSet<OWLClass> x = pellet.getTypes(ind, false);
    x.getNodes().forEach(node -> System.out.println(ind + " -> " + node.getRepresentativeElement()));

    System.out.println("------------------------------------");
    if (!pellet.isConsistent()) System.out.println("Ontology isn't consistent");
    final OWLObjectRenderer renderer = new DLSyntaxObjectRenderer();
    for (final OWLAxiom r : ontology.getAxioms())
        System.out.println(renderer.render(r));
    }

    public static void main(String[] argv)
    {
        try
        {
            (new Motifs()).applyAll();
        }
        catch(final Exception e)
        {
            e.printStackTrace();
        }
    }
}

测试程序使用以下命令运行：

groupId:net.sourceforge.owlapi, artifact:owlapi-distribution, version:3.4.10
groupId:com.github.ansell.pellet, artifcat:pellet-owlapiv3, version:2.3.6-ansell

有人可以帮我修复它吗？

最佳答案

答案是：在owl-api / pellet实现中，必须使用特殊原子“ getSWRLBuiltInAtom”来使用内置函数，就像下面对“ applyAll（）”方法的更正一样。这个原子可以对内置的swrl谓词进行特殊的特殊评估。

public void applyAll() {
    final OWLClass clsA = factory.getOWLClass(iri(Motifs.class, "A"));

    final OWLDataPropertyExpression prop = factory.getOWLDataProperty(Utils.iri(Motifs.class, "prop"));
    //final OWLDataPropertyExpression equal = factory.getOWLDataProperty(IRI.create("http://www.w3.org/2003/11/swrlb#equal"));

    final SWRLVariable varX = factory.getSWRLVariable(iri(Motifs.class, "x"));
    final SWRLVariable varY = factory.getSWRLVariable(iri(Motifs.class, "y"));
    final OWLLiteral literal = factory.getOWLLiteral(50);
    final OWLNamedIndividual ind = declareIndividual(iri(Motifs.class, "me"));
    addAxiom(factory.getOWLDataPropertyAssertionAxiom(prop, ind, literal));

    final Set<SWRLAtom> antecedent = new HashSet<>();
    antecedent.add(factory.getSWRLDataPropertyAtom(prop, varX, varY));
    // antecedent.add(factory.getSWRLDataPropertyAtom(equal, varY, factory.getSWRLLiteralArgument(literal)));
    final List<SWRLDArgument> args = new ArrayList<>(2);
    args.add(varY);
    args.add(factory.getSWRLLiteralArgument(literal));
    antecedent.add(factory.getSWRLBuiltInAtom(IRI.create("http://www.w3.org/2003/11/swrlb#equal"), args));

    final Set<SWRLAtom> consequences = new HashSet<>();
    consequences.add(factory.getSWRLClassAtom(clsA, varX));

    addAxiom(factory.getSWRLRule(antecedent, consequences));

    final PelletReasoner pellet = PelletReasonerFactory.getInstance().createReasoner(ontology);
    final NodeSet<OWLClass> x = pellet.getTypes(ind, false);
    x.getNodes().forEach(node -> System.out.println(ind + " -> " + node.getRepresentativeElement()));

    System.out.println("------------------------------------");
    if (!pellet.isConsistent()) System.out.println("Ontology isn't consistent");
    final OWLObjectRenderer renderer = new DLSyntaxObjectRenderer();
    for (final OWLAxiom r : ontology.getAxioms())
        System.out.println(renderer.render(r));
}

关于java - 如何在owlapi中使用带有颗粒的swrl内置函数？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/31500701/