Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#11 closed task (fixed)

simple query fails for umac.owl

Reported by: maeder Owned by: maeder
Priority: major Milestone:
Component: TaskCSOne Version: 1.0
Keywords: Cc:

Description

after loading umac.owl

query Testperson2:Person

results wrongly in

  Instantiating by Map(TestPerson2 -> Testperson2)
  Query unsatisfiable List(Testperson2:Person)

Attachments (1)

umac.owl (42.8 KB) - added by maeder 3 years ago.

Download all attachments as: .zip

Change History (4)

Changed 3 years ago by maeder

comment:1 Changed 3 years ago by maeder

  • Owner set to maeder
  • Status changed from new to assigned

The same query fails alread for the simple ontology (a single ABOX)

Testperson2:Person

comment:2 Changed 3 years ago by maeder

  • Resolution set to fixed
  • Status changed from assigned to closed

The class names have been wrongly/inconsistently created in src/ship/Ontology2OWL.scala by [2393]

@@ -399,7 +399,7 @@
       case NotConcept(UniversalConcept) => factory.getOWLNothing
       case ConceptConstant(name) => {
         val s = Builtin.upCase1(name)
-        factory.getOWLClass(s, pm)
+        factory.getOWLClass(IRI.create(name))
       }

This caused the query to throw an (unreported) exception.

comment:3 Changed 3 years ago by maeder

In line 463 of Ontology2OWL.scala (and maybe elsewhere) the class name must be created in the same way.

Note: See TracTickets for help on using tickets.