Recent changes to bugs

#313 Man Syntax Parser gives facets unexpected datatype

Ignazio Palmisano — Wed, 02 Oct 2013 23:43:38 -0000

Description has changed:

Diff:

--- old
+++ new
@@ -1,4 +1,3 @@
-
 In Protege we discovered that when parsing "decimal\[&lt;=2.0, &gt;= 1.0\]" the resulting datatype restriction was bad.  The 2.0 and 1.0 numbers in the facets were xsd:doubles even though the datatype restriction was a restriction of the decimal datatype.

 The attached file isolates the problem.

status: open --> closed-fixed
Group: --> 3.4.5

#101 Manchester OWL Syntax Parser doesn't do precedence correctly

Ignazio Palmisano — Wed, 02 Oct 2013 22:49:33 -0000

Description has changed:

Diff:

--- old
+++ new
@@ -1,4 +1,3 @@
-
 This one is due to Alan Ruttenberg \[1\].

 \[2\] states that conjunction binds more tightly than disjunction.  A parse of "A and B or C" doesn't work that way.

status: open --> closed-fixed
Group: --> 3.4.5

#278 save assertion to rdf where property has two colons fails

Ignazio Palmisano — Sat, 21 Sep 2013 23:03:29 -0000

Description has changed:

Diff:

--- old
+++ new
@@ -1,2 +1 @@
-
 The emo ontology has several iri's that have two colons.  Inside the emo ontology there is an object property assertion axiom where the property has two colons.  To write this out to rdf, the owlapi tries to start an element with the property name and finds that it doesn't know how to do this.

status: open --> closed-wont-fix
Group: --> 3.4.5

#328 Line comments starting with a # are not allowed in FS

Ignazio Palmisano — Sat, 21 Sep 2013 21:49:23 -0000

status: open --> closed-fixed
Group: --> 3.4.5

#371 Pizza IRI ontology changed

Ignazio Palmisano — Sat, 21 Sep 2013 20:33:25 -0000

status: open --> closed-fixed

Pizza IRI ontology changed

Melanie Courtot — Fri, 16 Aug 2013 17:06:09 -0000

The IRI of the pizza ontology has changed, from http://www.co-ode.org/ontologies/pizza/pizza.owl to http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl.
This should be updated in the examples. Maybe create a PURL for the pizza ontology?

Pizza IRI ontology changed

Melanie Courtot — Fri, 16 Aug 2013 17:06:09 -0000

Ticket 371 has been modified: Pizza IRI ontology changed
Edited By: Ignazio Palmisano (ignazio1977)
Status updated: u'open' => u'closed-fixed'

#370 Typo in website/htdocs/reasoners.html

Ignazio Palmisano — Mon, 01 Jul 2013 06:35:38 -0000

status: open --> closed-fixed

#356 Ontology import not saved correctly in Turtle format.

Ignazio Palmisano — Sun, 30 Jun 2013 22:15:07 -0000

status: pending-fixed --> closed-fixed

Typo in website/htdocs/reasoners.html

Steve Wartik — Thu, 20 Jun 2013 17:37:43 -0000

On line 42 of reasoners.html, "implementations" is missing the first "e".