ISSUE-1
test |
CLOSED |
Test Issue |
2007-10-17 |
|
0 |
ISSUE-2
allDisjoint-RDF |
CLOSED |
RESOLVED: No syntax for AllDisjoint in RDF mapping |
2007-10-24 |
|
0 |
ISSUE-3
anonymous individuals |
CLOSED |
RESOLVED: Lack of anonymous individuals |
2007-10-24 |
|
0 |
ISSUE-4
syntax reordering |
CLOSED |
RESOLVED: allow reordering in functional syntax |
2007-10-24 |
|
0 |
ISSUE-5
n-ary datatypes |
CLOSED |
WITDRAWN: Doubts about n-ary datatypes |
2007-10-24 |
|
0 |
ISSUE-6
overview semantics |
CLOSED |
RESOLVED: overview document should mention semantics document |
2007-10-24 |
|
0 |
ISSUE-7
objectproperty |
CLOSED |
RESOLVED: ObjectProperty(P) not adequately explained |
2007-10-24 |
|
0 |
ISSUE-8
dataproperty chains |
CLOSED |
POSTPONED: add chains ending with data properties |
2007-10-24 |
|
0 |
ISSUE-9
CQA RDFS |
CLOSED |
ACCEPTED: Conjunctive Query Answering complexity status in RDFS |
2007-10-24 |
|
0 |
ISSUE-10
defined roles |
CLOSED |
REJECTED: ability to have defined roles |
2007-10-24 |
|
0 |
ISSUE-11
datatype facets |
CLOSED |
RESOLVED: Specification of which facet is being restricted in a datatype restriction is missing |
2007-10-24 |
|
0 |
ISSUE-12
multi-triple annotations |
CLOSED |
RESOLVED: Annotations of multi-triple axioms such as equivalences |
2007-10-24 |
|
0 |
ISSUE-13
quotation |
CLOSED |
RESOLVED: functional syntax - quotation in strings and literals |
2007-10-24 |
|
0 |
ISSUE-14
CURIES |
CLOSED |
RESOLVED: Proposal to base abbreviated URIs on CURIES not QNAMES |
2007-10-24 |
|
0 |
ISSUE-15
ontology names |
CLOSED |
RESOLVED: Ontologies should not be required to include a URI |
2007-10-24 |
|
0 |
ISSUE-16
entity annotations |
CLOSED |
ACCEPTED: Entity annotations status |
2007-10-24 |
|
0 |
ISSUE-17
role punning |
CLOSED |
RESOLVED: Object and datatype role punning |
2007-10-24 |
|
0 |
ISSUE-18
property typing |
CLOSED |
WITHDRAWN/REJECTED: Fine-grained property typing |
2007-10-24 |
|
0 |
ISSUE-19
declarations-p |
CLOSED |
RESOLVED: Resolve whether to include declarations |
2007-10-25 |
|
0 |
ISSUE-20
annotate-declarations? |
CLOSED |
REJECTED: declaration axioms and annotations |
2007-10-25 |
|
0 |
ISSUE-21
import-target-match |
CLOSED |
RESOLVED: match of owl:import target to imported ontology uri undesirable? |
2007-10-25 |
|
0 |
ISSUE-22
role-rule-sugar |
CLOSED |
POSTPONED: Add sugar for rule (?x :hasSibling ?y) ^ :Male(?y) => (?x :hasBrother ?y) |
2007-10-25 |
|
0 |
ISSUE-23
scoped-names |
CLOSED |
REJECTED: Scoped names ("named" blank nodes) |
2007-10-25 |
|
0 |
ISSUE-24
1-version-allowed-policy |
CLOSED |
RESOLVED: Define behaviour related to versioning |
2007-10-25 |
|
0 |
ISSUE-25
values-class |
CLOSED |
REJECTED: Specifying a range of values as the extension of a class |
2007-10-25 |
|
0 |
ISSUE-26
nonunderstanding-structural |
CLOSED |
RESOLVED: EDITORIAL: "Nonstructural Restrictions" chapter need clarification |
2007-10-25 |
|
0 |
ISSUE-27
wrong-axiom-names |
CLOSED |
RESOLVED: Wrong axiom names in "Nonstructural" chapter of OWL-1.1 draft |
2007-10-25 |
|
0 |
ISSUE-28
multiple facets |
CLOSED |
RESOLVED: Multiple facet restrictions per data range |
2007-10-25 |
|
0 |
ISSUE-29
owl:DataRange |
CLOSED |
RESOLVED: User-defined Datatypes: owl:DataRange vs rdfs:Datatype |
2007-10-25 |
|
0 |
ISSUE-30
selfRestriction |
CLOSED |
REJECTED: Lift restriction on types of property in SelfRestriction. |
2007-10-25 |
|
0 |
ISSUE-31
XSD defined datatypes |
CLOSED |
ACCEPTED: Canonical URI for externally defined datatypes |
2007-10-25 |
|
0 |
ISSUE-32
complex annotations |
CLOSED |
RESOLVED: How to accomplish complex annotations |
2007-10-25 |
|
0 |
ISSUE-33
grammar styles |
CLOSED |
RESOLVED: EDITORIAL: Separate classes for grammar examples and grammar productions |
2007-10-25 |
|
0 |
ISSUE-34
RDFM typos |
CLOSED |
RESOLVED: EDITORIAL: RDF Mapping typographical errors |
2007-10-25 |
|
0 |
ISSUE-35
class vs description |
CLOSED |
RESOLVED: terminology confusions throughout spec docs |
2007-10-25 |
|
0 |
ISSUE-36
joins via paths |
CLOSED |
REJECTED: Specifying "join" conditions using path expressions. |
2007-10-25 |
|
0 |
ISSUE-37
axiom closure |
CLOSED |
RESOLVED: Explain term "axiom closure" in non-structural chapter |
2007-10-25 |
|
0 |
ISSUE-38
QCRs |
CLOSED |
RESOLVED: 3.2 Qualified Restrictions |
2007-10-25 |
|
0 |
ISSUE-39
structured datatypes |
CLOSED |
REJECTED: 4.3 Structured Datatypes |
2007-10-25 |
|
0 |
ISSUE-40
extra-logical features |
CLOSED |
REJECTED: 4.4 Extra-logical feature set |
2007-10-25 |
|
0 |
ISSUE-41
trust |
CLOSED |
POSTPONED: 4.8 Trust and Ontology |
2007-10-25 |
|
0 |
ISSUE-42
quoting |
CLOSED |
POSTPONED: 5.4 OWL:QUOTE |
2007-10-25 |
|
0 |
ISSUE-43
range restrictions |
CLOSED |
RESOLVED: 5.7 Range restrictions should not be separate URIs |
2007-10-25 |
|
0 |
ISSUE-44
inconsistencies |
CLOSED |
POSTPONED: 5.12 Entailing inconsistencies |
2007-10-25 |
|
0 |
ISSUE-45
justifications |
CLOSED |
POSTPONED: 5.25 Justifications |
2007-10-25 |
|
0 |
ISSUE-46
UIOs |
CLOSED |
RESOLVED: 6.1-Unnamed Individual Restrictions |
2007-10-25 |
|
0 |
ISSUE-47
compound keys |
CLOSED |
RESOLVED: 6.2-Compound Keys |
2007-10-25 |
|
0 |
ISSUE-48
tool best practices |
CLOSED |
POSTPONED: information on best practices for tools builders |
2007-10-28 |
|
0 |
ISSUE-49
structural IRIs |
CLOSED |
RESOLVED: structural specification should use IRIs, not strings |
2007-10-28 |
|
0 |
ISSUE-50
annotation semantics |
CLOSED |
REJECTED: semantics document does not mention stance on annotations |
2007-10-29 |
|
0 |
ISSUE-51
Language Name |
CLOSED |
RESOLVED: Name of the Product |
2007-11-02 |
|
0 |
ISSUE-52
Explanations |
CLOSED |
POSTPONED: Specification of OWL equivalences and rewriting rules for explaining inferences |
2007-11-02 |
|
0 |
ISSUE-53
Linear inequality between two data types |
CLOSED |
MOVED to UCR: Need for arbitrary inequality conditions on two (or more) data types |
2007-11-04 |
|
0 |
ISSUE-54
Entities as Triples |
CLOSED |
RESOLVED: Translation to Triples missing for entities in RDF mapping |
2007-11-07 |
|
0 |
ISSUE-55
owl:class |
CLOSED |
POSTPONED: owl:class v. rdfs:class |
2007-11-13 |
|
0 |
ISSUE-56
repairsomerdf |
CLOSED |
CLOSED: Note on standard "repairs" for moving select RDF documents to OWL |
2007-11-18 |
|
0 |
ISSUE-57
OWL 1.0 Errata |
CLOSED |
MOOT: Folding in OWL 1.0 Errata |
2007-11-20 |
|
0 |
ISSUE-58
OWL 1.0 Ref editorial |
CLOSED |
REJECTED: OWL 1.0 Ref editorial from webont comments |
2007-11-20 |
|
0 |
ISSUE-59
OWL 1.0 Guide editorial |
CLOSED |
REJECTED: OWL 1.0 Guide editorial from webont comments |
2007-11-20 |
|
0 |
ISSUE-60
wine |
CLOSED |
ACCEPTED: wine in OWL Guide is not culturally universal |
2007-11-20 |
|
0 |
ISSUE-61
OWL 1.0 Overview editorial |
CLOSED |
REJECTED: OWL 1.0 Overview editorial from webont comments |
2007-11-20 |
|
0 |
ISSUE-62
OWL 1.0 SAS comments |
CLOSED |
REJECTED: OWL 1.0 S&AS comments from webont |
2007-11-20 |
|
0 |
ISSUE-63
full semantics |
CLOSED |
RESOLVED: Defining an RDFS compatible semantics |
2007-11-20 |
|
0 |
ISSUE-64
obj-prop-chain rep |
CLOSED |
RESOLVED: object property chains in triples: confusion of list with property |
2007-11-20 |
|
0 |
ISSUE-65
excess vocab |
CLOSED |
RESOLVED: excessive duplication of vocabulary |
2007-11-20 |
|
0 |
ISSUE-66
mapping inconsistencies |
CLOSED |
RESOLVED: inconsistencies between mapping rules |
2007-11-20 |
|
0 |
ISSUE-67
reification |
CLOSED |
ACCEPTED: use of reification in mapping rules is unwise (axiom annotation) |
2007-11-20 |
|
0 |
ISSUE-68
nonmonotonic mapping |
CLOSED |
RESOLVED: mapping rules are non-monotonic |
2007-11-20 |
|
0 |
ISSUE-69
punning |
CLOSED |
RESOLVED: punning is incompatible with OWL Full |
2007-11-20 |
|
0 |
ISSUE-70
lang tag datarange |
CLOSED |
REJECTED: create datarange of literals with given language tag |
2007-11-20 |
|
0 |
ISSUE-71
datarange language range |
CLOSED |
RESOLVED: create datarange of literals matching given language range |
2007-11-20 |
|
0 |
ISSUE-72
Annotation Semantics |
CLOSED |
RESOLVED: lack of annotation semantics is not backwardly compatible |
2007-11-20 |
|
0 |
ISSUE-73
infinite universe |
CLOSED |
REJECTED: Should owl:Thing be necessarily infinite? |
2007-11-21 |
|
0 |
ISSUE-74
XSD URIs for facets |
CLOSED |
RESOLVED: Use the xsd namespace for the facet names |
2007-11-26 |
|
0 |
ISSUE-75
Non tractable fragments |
CLOSED |
ACCEPTED: Tractable fragments that are not tractable |
2007-11-28 |
|
0 |
ISSUE-76
DLP |
CLOSED |
ACCEPTED: DLP |
2007-11-28 |
|
0 |
ISSUE-77
Horn-SHIQ |
CLOSED |
ACCEPTED: Extending Horn-SHIQ |
2007-11-28 |
|
0 |
ISSUE-78
OWL LitEL++ |
CLOSED |
REJECTED: OWL-Lite as EL++ |
2007-11-28 |
|
0 |
ISSUE-79
EL++ |
CLOSED |
RESOLVED: EL++ Variants |
2007-11-28 |
|
0 |
ISSUE-80
DL-Lite |
CLOSED |
ACCEPTED: DL-Lite |
2007-11-28 |
|
0 |
ISSUE-81
reification, negative assertions |
CLOSED |
RESOLVED: reification unwise in negative property assertions |
2007-11-28 |
|
0 |
ISSUE-82
Metamodel diagrams |
CLOSED |
RESOLVED: Metamodel diagrams in Syntax document should be aligned with OMG ODM |
2007-11-28 |
|
0 |
ISSUE-83
Property Chain Axioms |
CLOSED |
RESOLVED: Property Chain Axiom: P1 o P2 => P2 o P1 |
2007-11-29 |
|
0 |
ISSUE-84
UML diagrams |
CLOSED |
REJECTED: UML diagrams in the Structural Specification are not quite UML |
2007-11-30 |
|
0 |
ISSUE-85
Optional restrictions |
CLOSED |
RESOLVED: Behaviour of "Optional"/MIN 0 restrictions and retrieval of fillers of existential restrictions |
2007-12-06 |
|
0 |
ISSUE-86
anonymous properties |
CLOSED |
RESOLVED: RDF/XML serialization for anonymous inverse properties |
2007-12-06 |
|
0 |
ISSUE-87
rational numbers |
CLOSED |
CLOSED: Adding a datatype to represent rational numbers |
2007-12-06 |
|
0 |
ISSUE-88
md5 |
CLOSED |
REJECTED: Ontology header request, optional md5 checksum of ontology |
2007-12-06 |
|
0 |
ISSUE-89
rdf:type mapping |
CLOSED |
RESOLVED: In the RDF mapping (*,rdf:type,owl:Class) triples do not map to axioms |
2007-12-06 |
|
0 |
ISSUE-90
class and property deprecation |
CLOSED |
RESOLVED: Spec lacks 'Deprecated' marker for classes, properties and datatypes (OWL 1.0 compatibility) |
2007-12-21 |
|
0 |
ISSUE-91
ontology properties |
CLOSED |
RESOLVED: Spec lacks ontology properties (compatibility with OWL 1.0) |
2007-12-21 |
|
0 |
ISSUE-92
owl:Ontology to FS mapping |
CLOSED |
RESOLVED: EDITORIAL: The RDF to FS mapping does not provide a mapping for the owl:Ontology element to the Functional Style syntax |
2008-01-02 |
|
0 |
ISSUE-93
Language tags |
CLOSED |
RESOLVED, EDITORIAL: RFC 3066 - Tags for the Identification of Languages |
2008-01-15 |
|
0 |
ISSUE-94
roundtripping |
CLOSED |
RESOLVED: Issues surrounding roundtripping |
2008-01-16 |
|
0 |
ISSUE-95
Datatype-facet compatibility in DatatypeRestriction |
CLOSED |
No compatibility restrictions between the datatype being restricted and the facets in the DatatypeRestriction construct |
2008-01-20 |
|
0 |
ISSUE-96
OWL1.1 vocabulary names |
CLOSED |
RESOLVED: OWL-1.1 vocabulary naming in RDF mapping is not consistent |
2008-03-02 |
|
0 |
ISSUE-97
GRDDL |
CLOSED |
Add GRDDL to OWL/XML Syntax |
2008-03-04 |
|
0 |
ISSUE-98
spelling |
CLOSED |
symetric => symmetric [editorial] |
2008-03-07 |
|
0 |
ISSUE-99
Test |
CLOSED |
Testing tracker |
2008-03-07 |
|
0 |
ISSUE-100
rdfall |
CLOSED |
[RESOLVED] Should there be valid OWL DL ontologies that can not be expressed as OWL DL ontologies in RDF graph form |
2008-03-07 |
|
0 |
ISSUE-101
plainliterals |
CLOSED |
EDITORIAL equating plain literals with no language tag to xsd:string |
2008-03-12 |
|
0 |
ISSUE-102
AnnotationProperty |
CLOSED |
RESOLVED: URI cannot be declared to be an annotation property, which in turn means that annotation URIs can't have annotations on them |
2008-03-12 |
|
0 |
ISSUE-103
metamapping |
CLOSED |
Meta Issue to track other issues related to mapping |
2008-03-17 |
|
0 |
ISSUE-104
disallowed vocabulary |
CLOSED |
RESOLVED: OWL 1.1 DL does not have a disallowed vocabulary[Editorial] |
2008-03-21 |
|
0 |
ISSUE-105
meta/data |
CLOSED |
Meta Issue to track other issues related to datatypes |
2008-03-23 |
|
0 |
ISSUE-106
namespace |
CLOSED |
RESOLVED: reuse OWL 1.0 namespace? |
2008-03-28 |
|
0 |
ISSUE-107
deprecate Lite |
CLOSED |
RESOLVED: Deprecate OWL Lite |
2008-03-28 |
|
0 |
ISSUE-108
profilenames |
CLOSED |
RESOLVED: Need to name the OWL Profiles |
2008-04-03 |
|
0 |
ISSUE-109
xmlnamespace |
CLOSED |
RESOLVED: What is the namespace for elements and attributes in the XML serialization |
2008-04-03 |
|
0 |
ISSUE-110
CURIE vs. QName |
CLOSED |
Use of CURIEs in Structural Specification |
2008-04-03 |
|
0 |
ISSUE-111
userintentsignaling |
CLOSED |
There's no way to signal the intended semantics of an OWL document |
2008-04-03 |
|
0 |
ISSUE-112
Universal property |
CLOSED |
RESOLVED: Universal property (a.k.a. universal role) missing in current OWL2 documents |
2008-04-04 |
|
0 |
ISSUE-113
OWL-R nonentailments |
CLOSED |
Some OWL-R nonentailments are OWL-Full entailments |
2008-04-04 |
|
0 |
ISSUE-114
general punning |
CLOSED |
RESOLVED: Which combinations of punning should be allowed? |
2008-04-07 |
|
0 |
ISSUE-115
icon |
CLOSED |
Icon needed for the WG pages |
2008-04-08 |
|
0 |
ISSUE-116
axiomatictriples |
CLOSED |
RESOLVED: Should Axiomatic Triples added to OWL-R Full? |
2008-04-09 |
|
0 |
ISSUE-117
solipsism |
CLOSED |
RAISED: ditch comprehension principles |
2008-04-16 |
|
0 |
ISSUE-118
bNode semantics |
CLOSED |
RESOLVED: Should bNodes in OWL 2 DL have existential or skolem semantics? |
2008-04-20 |
|
0 |
ISSUE-119
russell paradox |
CLOSED |
OWL 2 Full may become inconsistent due to self restrictions |
2008-04-20 |
|
0 |
ISSUE-120
broken OWL 1 Full semantics |
CLOSED |
[Editorial] Fixing the inconsistency of OWL 1 Full will break perfect backwards compatibility |
2008-04-20 |
|
0 |
ISSUE-121
RDFS-based OWL 2 DL |
CLOSED |
REJECTED: Do we want/need an OWL 2 DL language, which is based on RDFS semantics? |
2008-04-21 |
|
0 |
ISSUE-122
QCR RDF syntax |
CLOSED |
RESOLVED: the "Expanding" RDF syntax for QCRs will damage OWL 2 Full |
2008-04-21 |
|
0 |
ISSUE-123
QCR in OWL-R-Full |
CLOSED |
EDITORIAL: Should we add QCR-s into the rule set of OWL-R-Full [editorial] |
2008-05-03 |
|
0 |
ISSUE-124
datarange complement |
CLOSED |
RESOLVED: The complement of a datarange is defined relative to the whole data domain |
2008-05-04 |
|
0 |
ISSUE-125
min1some |
CLOSED |
Min 1 QCR = someValuesFrom - Serialize as someValuesFrom? |
2008-05-18 |
|
0 |
ISSUE-126
Revisit Datatypes |
CLOSED |
The list of normative datatypes should be revisited |
2008-05-21 |
|
0 |
ISSUE-127
narynotyet |
CLOSED |
documents contain bits of nary datatype but these are not yet in OWL 2 [editorial] |
2008-05-24 |
|
0 |
ISSUE-128
MAY/SHOULD/MUST |
CLOSED |
MOVED to QA: Normative documents must pass a MAY/SHOULD/MUST sanity check |
2008-05-28 |
|
0 |
ISSUE-129
rdf:list vocabulary |
CLOSED |
POSTPONED: Desirable to have rdf:list vocabulary available for use in modeling in OWL 2 |
2008-05-30 |
|
0 |
ISSUE-130
confwarn |
CLOSED |
RESOLVED: Conformance, warnings, errors |
2008-06-04 |
|
0 |
ISSUE-131
Single OWL-R profile |
CLOSED |
RESOLVED: We should unify OWL-R DL and OWL-R Full profiles |
2008-06-24 |
|
0 |
ISSUE-132
constant2literal |
CLOSED |
RESOLVED: Replace usage of "constant" with "literal" as defined by RDF and XML. [editorial] |
2008-07-01 |
|
0 |
ISSUE-133
una in dl-lite |
CLOSED |
DL-Lite Profile modified to include UNA |
2008-07-08 |
|
0 |
ISSUE-134
owl metamodel |
CLOSED |
RESOLVED: Metamodel for OWL 2 |
2008-07-23 |
|
0 |
ISSUE-135
noontologyheader |
CLOSED |
RESOLVED: Should be able to import rdf serialized documents without ontology headers |
2008-07-31 |
|
0 |
ISSUE-136
owl:members |
CLOSED |
Allow the use of owl:members with owl:AllDifferent |
2008-07-31 |
|
0 |
ISSUE-137
rdfstypesbackward |
CLOSED |
RESOLVED: Table 4 in RDF mapping introduces incompatibility with OWL 1 |
2008-08-03 |
|
0 |
ISSUE-138
dateTime |
CLOSED |
RESOLVED: Name of dateTime datatype |
2008-08-04 |
|
0 |
ISSUE-139
ManchesterSyntaxNote |
CLOSED |
RESOLVED: Manchester Syntax for OWL 1.1 |
2008-08-11 |
|
0 |
ISSUE-140
Named Property Chains |
CLOSED |
POSTPONED: Allow (macro-like) shorthands for directly referring to property chains (instead of their superproperty) |
2008-08-14 |
|
0 |
ISSUE-141
1subject |
CLOSED |
RESOLVED: OWL-R Rules generate literals in subject position |
2008-08-15 |
|
0 |
ISSUE-142
Rdlrelation |
CLOSED |
RESOLVED: Relationship between OWL-RL DL and OWL-RL Full (theorem 1) |
2008-08-15 |
|
0 |
ISSUE-143
profileannotation |
CLOSED |
No Annotations in any of the profiles? |
2008-08-17 |
|
0 |
ISSUE-144
Zhe |
CLOSED |
RESOLVED: missing base triple in serialization of axioms with annotations. |
2008-08-29 |
|
0 |
ISSUE-145
mime |
CLOSED |
RESOLVED: Which serializations should have mime types and file extensions (and what should they be) |
2008-10-08 |
|
0 |
ISSUE-146
manchesterlabels |
CLOSED |
RESOLVED: Specify use of labels in addition to/instead of entity URIs in serialization |
2008-10-15 |
|
0 |
ISSUE-147
Data-propositional |
CLOSED |
RESOLVED: Add UnionOf and IntersectionOf on Data Ranges |
2008-10-19 |
|
0 |
ISSUE-148
datatype extensibility |
CLOSED |
RESOLVED: owl:topDataProperty may invalidate Theorem 1 from Direct Semantics |
2008-10-19 |
|
0 |
ISSUE-149
OWL 2 RL errors |
CLOSED |
RESOLVED: Some problems with OWL 2 RL |
2008-10-19 |
|
0 |
ISSUE-150
Exchange syntax |
CLOSED |
RESOLVED: Which serialization of OWL are suitable as normative exchange syntaxed? |
2008-10-23 |
|
0 |
| ISSUE-151 |
CLOSED |
Vote not announced before meeting... |
2009-05-20 |
|
0 |