|
#167
|
[OWL2] Top and bottom property not supported
|
defect
|
pellet
|
1.5.1
|
|
#270
|
Classification results may be incorrect in the presence of synonyms
|
defect
|
pellet
|
2.0.0-rc6
|
|
#293
|
Explanations involving property chains trigger exceptions when retrieved through Jena interface
|
defect
|
pellet
|
2.0.0-rc7
|
|
#297
|
Settings from configuration file ignored
|
defect
|
pellet
|
2.0.0-rc7
|
|
#301
|
Classification exception (RC7)
|
defect
|
pellet
|
2.0.0-rc7
|
|
#304
|
Large number of sameAs inferences cause StackOverflowError
|
defect
|
pellet
|
2.0.0-rc7
|
|
#309
|
Incomplete reasoning results when user-defined datatype interact with cardinality restrictions
|
defect
|
pellet
|
2.0.0-rc7
|
|
#312
|
Incomplete reasoning results when sameAs assertions interact with hasValue restrictions
|
defect
|
pellet
|
2.0.0-rc7
|
|
#332
|
Support for disjoint properties incomplete
|
defect
|
pellet
|
2.0.0-rc7
|
|
#336
|
not(hasValue(p,a)) instance retrieval broken when using disjoint properties
|
defect
|
pellet
|
2.0.0-rc7
|
|
#313
|
Add an option to CLI to ignore import statements
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#314
|
Reasonable error message needed for CLI when parsing fails
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#326
|
Stack overflow (or segfault) using AllIndividual
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#337
|
Remove wildcard expansion from file URIs
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#338
|
Check for multiple occurrences of the same command-line option
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#343
|
Better help for pellet trans-tree option
|
defect
|
pellet.cli
|
2.0.0-rc7
|
|
#303
|
Full datatype reasoning is not turned on when data enumerations are used
|
defect
|
pellet.datatypes
|
2.0.0-rc7
|
|
#306
|
Nested user-defined datatypes causes ClassCastException: org.mindswap.pellet.datatypes.UnknownDatatype
|
defect
|
pellet.datatypes
|
2.0.0-rc7
|
|
#308
|
Pellet DIG fails to start due to missing library
|
defect
|
pellet.dig
|
2.0.0-rc7
|
|
#310
|
ConcurrentModificationException in EL classifier
|
defect
|
pellet.el
|
2.0.0-rc7
|
|
#311
|
InternalReasonerException: Concept self(...) is not an EL concept
|
defect
|
pellet.el
|
2.0.0-rc7
|
|
#324
|
Explanation of data property domain axiom fails
|
defect
|
pellet.explanation
|
2.0.0-rc7
|
|
#296
|
Subjects of annotation triples are added as individuals
|
defect
|
pellet.jena
|
2.0.0-rc7
|
|
#307
|
Exception when cardinality restriction contains whitespace
|
defect
|
pellet.jena
|
2.0.0-rc7
|
|
#333
|
Update to Jena 2.6.2
|
defect
|
pellet.jena
|
2.0.0-rc7
|
|
#300
|
lint does nothing if a --only is not specified. It should do RDF and OWL lint
|
defect
|
pellet.lint
|
2.0.0-rc7
|
|
#328
|
Pellint does not right output file if there are RDF lints but no OWL lints
|
defect
|
pellet.lint
|
2.0.0-rc7
|
|
#323
|
Cannot access unsupported axioms through OWLAPI loader
|
defect
|
pellet.owlapi
|
2.0.0-rc7
|
|
#196
|
Query parser should throw UQE directly when builtin terms are used in the query
|
defect
|
pellet.query
|
2.0.0-rc1
|
|
#299
|
Domain and range axioms are not recognized by the SPARQL-DL query parser
|
defect
|
pellet.query
|
2.0.0-rc7
|
|
#320
|
Problem with sameAs atoms in query: InternalReasonerException: Splitting query returned no results!
|
defect
|
pellet.query
|
2.0.0-rc7
|
|
#331
|
SPARQL-DL does not recognize ?x rdf:type owl:Class
|
defect
|
pellet.query
|
2.0.0-rc7
|
|
#346
|
Nested class expressions in SPARQL queries are not supported by the parser
|
defect
|
pellet.query
|
2.0.0-rc7
|
|
#302
|
Read-only queries may modify knowledge base that contains rules
|
defect
|
pellet.rules
|
2.0.0-rc7
|
|
#316
|
Implement missing SWRL builtins (substring & tokenize)
|
defect
|
pellet.rules
|
2.0.0-rc7
|
|
#335
|
SWRL built-in roundHalfToEven should accept an optional precision parameter
|
defect
|
pellet.rules
|
2.0.0-rc7
|
|
#290
|
pellet lint should produce some output when there are no lints found
|
enhancement
|
pellet.cli
|
svn pellet-devel/trunk
|
|
#325
|
Add missing model extractor options to command line interface
|
enhancement
|
pellet.cli
|
svn pellet-devel/trunk
|
|
#341
|
Fixes produced by pellet lint should be printed to stdout or stderr
|
enhancement
|
pellet.cli
|
2.0.0-rc7
|