Contradiction in Timeline Ontology

The timeline ontology available at http://motools.sf.net/timeline/timeline.html and attached to this report contains two contradictions when an owl reasoner is present. This can be verified by importing the timeline ontology into an environment such as protege and turning on a reasoner such a pellet. Protege 4.2.0 (build 256) with pellet plugin 2.2.0 were used when this was observed.

As these ontologies are used by this project and maintained by the maintainers of this project, I felt the bug report to this location would be appropriate.

Assumed prefixes
time: http://www.w3.org/2006/time
time-entry: http://www.w3.org/2006/time-entry
tl: http://purl.org/NET/c4dm/timeline.owl

1) Abstract Instance is owl:sameAs owl:Nothing
---------------------------------------------------------------------------
Reasoner explanation
---------------------------------------------------------------------------
- time-entry:Instant DisjointWith time-entry:ProperInterval
- tl:'abstract instant' EquivalentTo 'on timeline' some 'abstract timeline'
- tl:'abstract instant' SubClassOf tl:instant
- tl:'abstract interval' EquivalentTo 'on timeline' some 'abstract timeline'
- tl:'abstract interval' EquivalentTo time-entry:Instant
- tl:instant EquivalentTo time-entry:Instant
- tl:interval EquivalentTo time-entry:ProperInterval

2) Abstract Interval is owl:sameAs owl:Nothing (by a simliar construct as above).