Exemplo n.º 1
0
@SuppressWarnings("javadoc")
public class BadDataPropertyRT extends TestCase {
  private static final OWLDataFactory factory = Factory.getFactory();
  public static final String NS = "http://test.org/DataPropertyRestriction.owl";
  public static final OWLDataProperty P = factory.getOWLDataProperty(IRI.create(NS + "#p"));
  public static final OWLClass A = factory.getOWLClass(IRI.create(NS + "#A"));

  @Test
  public void testBadDataproperty() throws Exception {
    OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
    OWLOntology ontology = manager.createOntology(IRI.create(NS));
    OWLClassExpression restriction =
        factory.getOWLDataSomeValuesFrom(
            P, factory.getOWLDatatype(XSDVocabulary.DURATION.getIRI()));
    OWLAxiom axiom = factory.getOWLSubClassOfAxiom(A, restriction);
    manager.addAxiom(ontology, axiom);
    assertTrue(ontology.containsDataPropertyInSignature(P.getIRI()));
    StringDocumentTarget t = new StringDocumentTarget();
    manager.saveOntology(ontology, new RDFXMLOntologyFormat(), t);
    manager.removeOntology(ontology);
    ontology = manager.loadOntologyFromOntologyDocument(new StringDocumentSource(t.toString()));

    assertTrue(ontology.containsDataPropertyInSignature(P.getIRI()));
  }
}
 @Override
 protected Set<? extends OWLAxiom> createAxioms() {
   OWLAnnotationProperty subProp = AnnotationProperty(IRI("http://ont.com#myLabel"));
   OWLAnnotationProperty superProp = RDFSLabel();
   OWLAxiom ax = Factory.getFactory().getOWLSubAnnotationPropertyOfAxiom(subProp, superProp);
   return Collections.singleton(ax);
 }
 @Test
 public void testMinusInf() throws Exception {
   String input =
       "Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)\n"
           + "Prefix(owl:=<http://www.w3.org/2002/07/owl#>)\n"
           + "Prefix(:=<http://test.org/test#>)\n"
           + "Ontology(\nDeclaration(NamedIndividual(:a))\n"
           + "Declaration(DataProperty(:dp))\n"
           + "Declaration(Class(:A))\n"
           + "SubClassOf(:A DataAllValuesFrom(:dp owl:real))"
           + "\nSubClassOf(:A \n"
           + "DataSomeValuesFrom(:dp DataOneOf(\"-INF\"^^xsd:float \"-0\"^^xsd:integer))"
           + "\n)"
           + "\n"
           + "ClassAssertion(:A :a)"
           + "\n)";
   StringDocumentSource in = new StringDocumentSource(input);
   OWLOntologyManager m = Factory.getManager();
   OWLOntology o = m.loadOntologyFromOntologyDocument(in);
   StringDocumentTarget t = new StringDocumentTarget();
   m.saveOntology(o, t);
   assertTrue(t.toString() + " should contain -INF", t.toString().contains("-INF"));
   OWLOntology o1 = m.loadOntologyFromOntologyDocument(new StringDocumentSource(t.toString()));
   assertEquals(
       "Obtologies were supposed to be the same", o.getLogicalAxioms(), o1.getLogicalAxioms());
 }
 @Test(expected = OWLOntologyAlreadyExistsException.class)
 public void testCreateDuplicateOntologyWithIRI() throws Exception {
   OWLOntologyManager manager = Factory.getManager();
   IRI ontologyIRI = IRI("http://www.semanticweb.org/ontologies/ontology");
   manager.createOntology(ontologyIRI);
   manager.createOntology(ontologyIRI);
 }
 @Test
 public void testCreateAnonymousOntology() throws Exception {
   OWLOntologyManager manager = Factory.getManager();
   OWLOntology ontology = manager.createOntology();
   assertNotNull("ontology should not be null", ontology);
   assertNotNull("ontology id should not be null", ontology.getOntologyID());
   assertNull(ontology.getOntologyID().getDefaultDocumentIRI());
   assertNull(ontology.getOntologyID().getOntologyIRI());
   assertNull(ontology.getOntologyID().getVersionIRI());
   assertNotNull("iri should not be null", manager.getOntologyDocumentIRI(ontology));
 }
 @Test(expected = OWLOntologyDocumentAlreadyExistsException.class)
 public void testCreateDuplicatedDocumentIRI() throws Exception {
   OWLOntologyManager manager = Factory.getManager();
   IRI ontologyIRI = IRI("http://www.semanticweb.org/ontologies/ontology");
   IRI ontologyIRI2 = IRI("http://www.semanticweb.org/ontologies/ontology2");
   IRI documentIRI = IRI("file:documentIRI");
   manager.addIRIMapper(new SimpleIRIMapper(ontologyIRI, documentIRI));
   manager.addIRIMapper(new SimpleIRIMapper(ontologyIRI2, documentIRI));
   manager.createOntology(new OWLOntologyID(ontologyIRI));
   manager.createOntology(new OWLOntologyID(ontologyIRI2));
 }
 @Test
 public void testCreateOntologyWithIRI() throws Exception {
   OWLOntologyManager manager = Factory.getManager();
   IRI ontologyIRI = IRI("http://www.semanticweb.org/ontologies/ontology");
   OWLOntology ontology = manager.createOntology(ontologyIRI);
   assertNotNull("ontology should not be null", ontology);
   assertNotNull("ontology id should not be null", ontology.getOntologyID());
   assertEquals(ontologyIRI, ontology.getOntologyID().getDefaultDocumentIRI());
   assertEquals(ontologyIRI, ontology.getOntologyID().getOntologyIRI());
   assertNull(ontology.getOntologyID().getVersionIRI());
   assertEquals(ontologyIRI, manager.getOntologyDocumentIRI(ontology));
 }
 @Test
 public void testNamedOntologyToString() throws Exception {
   OWLOntologyManager man = Factory.getManager();
   IRI ontIRI = IRI("http://owlapi.sourceforge.net/ont");
   OWLOntology ont = man.createOntology(ontIRI);
   String s = ont.toString();
   String expected =
       "Ontology("
           + ont.getOntologyID().toString()
           + ") [Axioms: "
           + ont.getAxiomCount()
           + " Logical Axioms: "
           + ont.getLogicalAxiomCount()
           + "]";
   assertEquals(expected, s);
 }
 @Test
 public void testCreateOntologyWithIRIAndVersionIRIWithMapper() throws Exception {
   OWLOntologyManager manager = Factory.getManager();
   IRI ontologyIRI = IRI("http://www.semanticweb.org/ontologies/ontology");
   IRI versionIRI = IRI("http://www.semanticweb.org/ontologies/ontology/version");
   IRI documentIRI = IRI("file:documentIRI");
   SimpleIRIMapper mapper = new SimpleIRIMapper(versionIRI, documentIRI);
   manager.addIRIMapper(mapper);
   OWLOntology ontology = manager.createOntology(new OWLOntologyID(ontologyIRI, versionIRI));
   assertNotNull("ontology should not be null", ontology);
   assertNotNull("ontology id should not be null", ontology.getOntologyID());
   assertEquals(versionIRI, ontology.getOntologyID().getDefaultDocumentIRI());
   assertEquals(ontologyIRI, ontology.getOntologyID().getOntologyIRI());
   assertEquals(versionIRI, ontology.getOntologyID().getVersionIRI());
   assertEquals(documentIRI, manager.getOntologyDocumentIRI(ontology));
 }
 @Test
 public void testBottomDataPropertyPositive() {
   OWLDataPropertyExpression prop = Factory.getFactory().getOWLBottomDataProperty();
   assertTrue(prop.isOWLBottomDataProperty());
 }
 @Test
 public void testTopObjectPropertyPositive() {
   OWLObjectPropertyExpression prop = Factory.getFactory().getOWLTopObjectProperty();
   assertTrue(prop.isOWLTopObjectProperty());
 }
Exemplo n.º 12
0
 private OWLClassExpression getNNF(OWLClassExpression classExpression) {
   NNF nnf = new NNF(Factory.getFactory());
   return classExpression.accept(nnf);
 }