{11} Closed Tickets By Milestone (391 matches)

Results (1 - 100 of 391)

2.2.2 Release (4 matches)

Id	Summary	Type	Component	Version
#499	Missing new lines in entail subcommand	defect	pellet.cli	2.2.1
#509	Tabular format in CLI query command does not print duplicates	defect	pellet.cli	2.2.1
#506	Explanations missing in non-buffering mode	defect	pellet.explanation	2.2.1
#510	Domain axioms in explanations are not in asserted form	defect	pellet.explanation	2.2.1

2.2.1 Release (20 matches)

Id	Summary	Type	Component	Version
#123	Tautological concept descriptions cause problems	defect	pellet	1.5.1
#429	Built-in datatypes derived from xsd:string are not handled	defect	pellet	2.1.0
#484	Inconsistencies due to empty datatypes are not reported accurately	defect	pellet	2.1.1
#485	Object property domain query throws RuntimeException: Inconsistent classification result	defect	pellet	2.1.1
#488	Incorrect reasoning results due to interaction of qualified cardinality restrictions, enumerations, and inverses	defect	pellet	2.1.1
#482	Pellet CLI "entail" command missing	defect	pellet.cli	2.0.1
#450	UnsupportedOperationException at RestrictedTextDatatype.exclude	defect	pellet.datatypes	2.1.1
#490	Literal value "0.0"^^xsd:decimal cannot be canonicalized	defect	pellet.datatypes	2.1.1
#491	Negation of float and double datatypes not handled correctly	defect	pellet.datatypes	2.1.1
#446	Incomplete explanation involving inverse of rule-inferred property or symmetric property	defect	pellet.explanation	2.1.1
#455	InconsistentOntologyException when explaining inconsistency with black box method	defect	pellet.explanation	2.1.1
#477	Explanations miss datatyape definitions	defect	pellet.explanation	2.1.1
#233	Properties that are neither object or datatype property	defect	pellet.jena	2.0.0-rc4
#478	Retrieving explanations through Jena interface cause subsequent modifications to be ignored	defect	pellet.jena	2.1.1
#487	No way to dispose InfModel without closing the underlying raw model	defect	pellet.jena	2.1.1
#286	things used in an owl2 datatype restriction require validation	defect	pellet.lint	2.0.0-rc6
#476	SPARQL queries for inverses return symmetric properties as well	defect	pellet.query	2.1.1
#495	Parsing errors for SPARQL queries that contain complex expressions	defect	pellet.query	2.1.1
#414	Smarter re-classification and re-realization in IncrementalClassifier	performance	pellet.modularity	svn pellet-devel/trunk
#497	Deprecate DIG support	task	pellet.cli	2.1.1

2.2.0 Release (39 matches)

Id	Summary	Type	Component	Version
#360	Support removal of ABox assertions for merged nodes	defect	pellet	2.0.0
#412	kb.getSubProperties(ATermAppl p) does not work for annotation properties	defect	pellet	2.0.0
#443	Irreflexivity entailment fails for inexpressive ontologies	defect	pellet	2.1.0
#444	ClassCastException in ABox.getIndividual on Jena ARQ query	defect	pellet	2.1.1
#448	Qualified cardinality restrictions causing java.lang.RuntimeException: assertion failed	defect	pellet	2.1.1
#451	NullPointerException in State.addTransition	defect	pellet	2.1.1
#460	Incorrect classification result with qualified cardinality restrictions	defect	pellet	2.1.1
#465	Incorrect classification result with subproperties	defect	pellet	2.1.1
#468	NullPointerException in AbstractConceptCache.checkTrivialClash	defect	pellet	2.1.1
#472	Interaction of qualified and unqualified cardinality restriction may cause incorrect inferences	defect	pellet	2.1.1
#473	Incomplete getDifferents result in the presence of sameAs inferences	defect	pellet	2.1.1
#474	Disjointness tests incorrect for reflexive properties	defect	pellet	2.1.1
#475	Properties equivalent to asymmetric properties not inferred to be asymmetric	defect	pellet	2.1.1
#452	Whitespace normalization needed for xsd:anyURI literals	defect	pellet.datatypes	2.1.1
#456	Using PlainLiteral causes inconsistency	defect	pellet.datatypes	2.1.1
#453	OWLRuntimeException: Explanation contains removed axiom SubClassOf(A, not B)	defect	pellet.explanation	2.1.1
#454	ClassCastExplanation with explanations involving DataOneOf	defect	pellet.explanation	2.1.1
#256	[OWL2] Axiom annotations not supported	defect	pellet.jena	2.0.0-rc5
#471	Whitespace normalization needed for boolean values used in hasSelf restrictions	defect	pellet.jena	2.1.1
#438	Lint fails with user-defined datatypes	defect	pellet.lint	2.1.0
#457	Pellet lint does not recognize rdf:PlainLiteral	defect	pellet.lint	2.1.1
#442	UnsupportedFeatureException for annotation property domain/range	defect	pellet.owlapi	2.1.0
#447	PelletReasoner functions to get equivalent should include the class/property itself	defect	pellet.owlapi	2.1.1
#467	PelletReasoner.getUnsatisafiableClasses should include owl:Nothing	defect	pellet.owlapi	2.1.1
#427	Ground SPARQL queries with annotations fails	defect	pellet.query	2.1.0
#428	SPARQL queries that ask for annotation values includes only individuals	defect	pellet.query	2.1.0
#445	Model.listStatements(Resource, null, Literal) returns incomplete results	defect	pellet.query	2.1.1
#361	Support removal of ABox assertions through Jena and OWLAPI	enhancement	pellet	2.0.0
#368	Completion strategy hierarchy needs clean-up	enhancement	pellet	2.0.0
#408	CLI for persistence	enhancement	pellet	2.0.0
#449	Progress monitor can exceed 100% during realization	enhancement	pellet	2.1.1
#461	Configuration option to turn off EL classification	enhancement	pellet	2.1.1
#470	Support datatype definitions where base type is a user-defined restricted datatype	enhancement	pellet.datatypes	2.1.1
#358	Cannot classify LKIF-core.owl (regression)	performance	pellet	2.0.0
#364	Modify optimized double blocking to work with property chains	performance	pellet	2.0.0
#462	Implement anywhere blocking	performance	pellet	2.1.1
#463	Optimized tableau strategy for inverses	performance	pellet	2.1.1
#464	Caching for inverse properties	performance	pellet	2.1.1
#469	Update to Jena 2.6.3	task	pellet.jena	2.1.1

2.1.1 Release (13 matches)

Id	Summary	Type	Component	Version
#423	InternalReasonerException: Cycle detected in the taxonomy	defect	pellet	2.1.0
#424	EL classifier returns empty told taxonomy	defect	pellet	2.1.0
#433	Internal Reasoner Exception w/ Jena Loader and Inconsistent Properties	defect	pellet	2.1.0
#435	Incorrect subproperty entailments for object properties	defect	pellet	2.1.0
#413	Intersection of xsd:integer and xsd:decimal should be satisfiable	defect	pellet.datatypes	2.0.0
#425	Intersecting incompatible types results in IllegalArgumentException in DatatypeReasoner	defect	pellet.datatypes	2.1.0
#434	Negation of empty datatypes intersected with non-empty datatypes treated to be unsatisfiable	defect	pellet.datatypes	2.1.0
#392	Missing spaces in CLI Manchester restriction explanations	defect	pellet.explanation	2.0.0
#431	Ground queries for direct type always returns false through Jena interface	defect	pellet.jena	2.1.0
#430	Pellet lint throws exception on subClassOf with no value	defect	pellet.lint	2.1.0
#331	SPARQL-DL does not recognize ?x rdf:type owl:Class	defect	pellet.query	2.0.0-rc7
#426	Queries with DatatypeAtom are failing	defect	pellet.query	2.1.0
#436	Efficient handling of ClassAtoms in SWRL rules when class is primitive	performance	pellet.rules	2.1.0

2.1.0 Release (24 matches)

Id	Summary	Type	Component	Version
#250	Problem with full datatype reasoning option	defect	pellet	2.0.0-rc5
#252	[OWL2] Boolean datatype constructors (intersection,union) not supported	defect	pellet	2.0.0-rc5
#253	[OWL2] Named datatype vocabulary not supported	defect	pellet	2.0.0-rc5
#315	[OWL2] Annotation axioms are not supported	defect	pellet	2.0.0-rc7
#376	Importing owl.owl causes NullPointerException	defect	pellet	2.0.0
#381	[OWL2] Qualified cardinality restrictions on datatype properties not handled properly	defect	pellet	2.0.0
#388	InternalReasonerException: Adding type to a pruned node	defect	pellet	2.0.0
#396	Incorrect realization results with hasValue on DatatypeProperty at multiple levels of class hierarchy	defect	pellet	2.0.2
#399	Incorrect incremental results from Node.hasObviousType when using NonBufferingReasoner	defect	pellet	2.0.2
#404	Incorrect results from Individual.listOntClasses after addProperty following another listOntClasses	defect	pellet	2.0.2
#406	OWLAPI v3 reasoner is ignoring direct argument in getSubClasses	defect	pellet	2.0.0
#418	Incorrect implementation of isSymmetric() in the Role class.	defect	pellet	2.0.0
#334	Filter the classes or individuals displayed in trans-tree	defect	pellet.cli	2.0.0-rc7
#75	xsdlib compatibility issues	defect	pellet.datatypes	1.5.1
#262	KnowledgeBase.removeProperyValue fails for some data property assertions	defect	pellet.datatypes	2.0.0-rc6
#319	Pellet datatype branch does not handle Float minExclusive properly	defect	pellet.datatypes
#411	New datatype reasoner implementation	defect	pellet.datatypes	2.0.0
#393	explanation in CLI gives incompatible results in glassbox & blackbox methods	defect	pellet.explanation	2.0.2
#389	Lint should report named classes equivalent to max cardinality restriction	defect	pellet.lint	2.0.0
#149	Reasoner.isEquivalentProperty should accept OWLObjectPropertyExpression	defect	pellet.owlapi	1.5.1
#150	EntailmentChecker throws ClassCastException for anonymous inverse properties	defect	pellet.owlapi	1.5.1
#394	ProgressMonitor in OWLAPI v3 implementation is ignored	defect	pellet.owlapi	2.0.0
#385	[OWL2] OWL2 constructs are not recognized in queries	defect	pellet.query	2.0.0
#395	SPARQL-DL query with two sparqldl:directType triples returns no results	defect	pellet.query	2.0.2