{11} Closed Tickets By Milestone (431 matches)

Max items per page

Results (1 - 100 of 431)

2.3.0 Release (22 matches)

Id	Summary	Type	Component	Version
#532	Adding type to a pruned node (in Node.addType())	defect	pellet	2.2.2
#535	NullPointerException - Role not found in Block2.isBlocked - property chain?	defect	pellet	2.2.2
#547	Incorrect disjoint property inference for data properties	defect	pellet	2.2.1
#551	NPE with subproperties of functional data properties	defect	pellet	2.2.1
#552	Empty results retrieving subjects for an object property where the object is a bnode	defect	pellet
#553	KnowledgeBase copy does not set the kb field of the ABox	defect	pellet	2.2.1
#554	KnowledgeBase copy does not copy the annotations	defect	pellet	2.2.1
#558	Incorrect reasoning results due to interaction of user-defined datatypes with universal restrictions	defect	pellet	2.2.1
#559	Irreflexive property does not result in differentFrom inference	defect	pellet	2.2.1
#560	InternalReasonerException: Trying to remove a non-existing edge	defect	pellet	2.2.1
#561	ModelExtractor returns empty results if model is not prepared	defect	pellet	2.2.1
#566	Checking for disjoint object properties causes problems	defect	pellet	2.2.1
#549	Datatype reasoner bug with non-overlapping float intervals	defect	pellet.datatypes	2.2.1
#536	Incorrect and Incomplete results when classifying SNOMED CT	defect	pellet.el	2.2.2
#542	Explanation pruning problems with functionality	defect	pellet.explanation	2.2.1
#557	Loading union models might cause data properties to be identified as object properties	defect	pellet.jena	2.2.1
#564	Contains check for rdf:type owl:AnnotationProperty returns false for built-in properties	defect	pellet.jena	2.2.1
#538	Quotes in literals duplicated in results	defect	pellet.owlapi	2.2.1
#546	SWRL built-in greaterThan and lessThan problems with dateTime	defect	pellet.rules	2.2.1
#565	Incomplete reasoning with rules that contain DifferentInidividuals in body or SameIndividual in head	defect	pellet.rules	2.2.1
#562	Update to Jena 2.6.4	enhancement	pellet	2.2.1
#563	Update to OWLAPI 3.2.4	enhancement	pellet	2.2.1
2.2.2 Release (22 matches)
Id	Summary	Type	Component	Version
#505	Update to OWLAPI 3.1.0 release	defect	pellet	2.2.1
#507	Bogus individuals created when GO ontology is loaded	defect	pellet	2.2.1
#513	Get domain queries return strict super classes but not equivalents	defect	pellet	2.2.1
#514	UnsupportedOperationException at RestrictedTextDatatype.intersect	defect	pellet	2.2.1
#518	StackOverflowError at EmptySRIQStrategy.getDescendants	defect	pellet	2.2.1
#481	Name clashes between OWLAPI v2 and v3 in Pellet CLI	defect	pellet.cli	2.1.0
#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
#521	Pellet classify does not show classification progress with persistence option	defect	pellet.cli	2.2.1
#522	Change pellet explain command to print each explanation as it is generated	defect	pellet.cli	2.2.1
#516	Anonymous inverse properties not detected by EL expressivity checker	defect	pellet.el	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
#501	Pellet lint does not validate global restriction on axioms in OWL DL	defect	pellet.lint	2.2.1
#502	Lint misses some untyped resources	defect	pellet.lint	2.2.1
#503	Lint does not distinguish valid punning from invalid punning	defect	pellet.lint	2.2.1
#525	Lint does not report misuse of object and data properties	defect	pellet.lint	2.2.1
#517	IncrementalClassifier is broken for ontologies with imports	defect	pellet.modularity	2.2.1
#489	Punning a URI as class and property cause ClassCastException during explanation	defect	pellet.owlapi	2.1.1
#520	Configuration option to ignore annotation classes	enhancement	pellet	2.2.1
#496	IncrementalClassifier does not support many axiom types in isEntailed	enhancement	pellet.modularity	2.1.1
#405	BlackBox explanation generation in OWLAPIv3 is not working	task	pellet.owlapi
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 (36 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