Monday, 31 December 2007
- Re: document preparation for publication
- RE: document preparation for publication
- document preparation for publication
Sunday, 30 December 2007
Monday, 24 December 2007
Friday, 21 December 2007
- RE: imports and absolute URIs
- Re: Cardinality Restrictions and Punning
- Re: Ontology versions
- Re: Cardinality Restrictions and Punning
- Re: OWL XML syntax?
- OWL XML syntax?
- Re: Ontology versions
- imports and absolute URIs
- Re: Cardinality Restrictions and Punning
- Re: Cardinality Restrictions and Punning
- ISSUE-55 (was Re: Agenda for teleconference Wednesday December 19th, 2007)
- RE: ISSUE-91 (ontology properties): Spec lacks ontology properties (compatibility with OWL 1.0)
- Re: ISSUE-91 (ontology properties): Spec lacks ontology properties (compatibility with OWL 1.0)
- RE: ISSUE-91 (ontology properties): Spec lacks ontology properties (compatibility with OWL 1.0)
- ISSUE-91 (ontology properties): Spec lacks ontology properties (compatibility with OWL 1.0)
- ISSUE-90 (class and property deprecation): Spec lacks 'Deprecated' marker for classes, properties and datatypes (OWL 1.0 compatibility)
- Re: Ontology versions
Thursday, 20 December 2007
- Re: Ontology versions
- Re: Cardinality Restrictions and Punning
- Cardinality Restrictions and Punning
- imports
- implementations and specs
- Ontology versions
- Re: minutes on wiki
- UFDTF: Who our documentation should target
Wednesday, 19 December 2007
- Re: proposal for cancelling 2 Jan OWL WG telecon
- Re: Next meeting date: 2nd or 9th of January?
- minutes on wiki
- proposal for cancelling 2 Jan OWL WG telecon
- Re: Agenda for teleconference Wednesday December 19th, 2007
- Next meeting date: 2nd or 9th of January?
- example of change in satisfiability because of rdfs:Class to owl:Class repair Re: ISSUE-55 (owl:class): owl:class vs rdfs:class
- Re: Agenda for teleconference Wednesday December 19th, 2007
- Minutes cleanup of last week
- Re: Agenda for teleconference Wednesday December 19th, 2007
- RE: ISSUE-49 (structural IRIs): REPORTED: structural specification should use IRIs, not strings
- Minutes cleanup of last week
- Re: Efficiency/scalability
- Other fragments? Re: Major changes in Fragments Document
- Efficiency/scalability
Tuesday, 18 December 2007
- Re: Agenda for teleconference Wednesday December 19th, 2007
- Agenda for teleconference Wednesday December 19th, 2007
- Re: Major changes in Fragments Document
- F2F2 3-4 April 2008, Gaithersburg, Maryland, USA
- Re: PROPOSAL to reject ISSUE-25
- Re: Facts in DL-Lite [was Re: Major changes in Fragments Document]
- Facts in DL-Lite [was Re: Major changes in Fragments Document]
- Re: Major changes in Fragments Document
- Re: DLP deleted [Re: Major changes in Fragments Document]
- DLP deleted [Re: Major changes in Fragments Document]
- Major changes in Fragments Document
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
Monday, 17 December 2007
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full
- Re: DL Lite
- DL Lite
- Re: Declarations in OWL 1.1
- DL lookup table
- Re: [Today's] UFDTF meeting canceled
- Tomorrow's UFDTF meeting canceled
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full [Re: PROPOSAL to close ISSUE-68]
- Re: [OWLWG-COMMENT] Example why current RDF mapping for QCRs might hurt OWL-1.1-Full [Re: PROPOSAL to close ISSUE-68]
Sunday, 16 December 2007
Saturday, 15 December 2007
- Re: PROPOSAL to close ISSUE-55
- Typing and declarations -- a summary
- Declarations in OWL 1.1
- Problems with typed vocabulary and rdf:type triples
- A proposal for imports in OWL 1.1
- Re: PRPOSAL to close ISSUE-8
- Re: ISSUE-13 (quotation): REPORTED: functional syntax - quotation in strings and literals
Friday, 14 December 2007
Thursday, 13 December 2007
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to close ISSUE-68
- Re: PROPOSAL to close ISSUE-55
- Re: PRPOSAL to close ISSUE-8
- Re: PROPOSAL to close ISSUE-8
- Re: PROPOSAL to close ISSUE-8
- Re: PRPOSAL to close ISSUE-8
- Re: PROPOSAL to close ISSUE-68
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PRPOSAL to close ISSUE-8
- Re: PRPOSAL to close ISSUE-8
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PRPOSAL to close ISSUE-8
- Minutes of the telephone conference on 12/12/2007
- possible way forward on ISSUE-69 (1.1/Full punning) and ISSUE-72 (backwards comptability)
- PROPOSAL to close ISSUE-68
- PROPOSAL to close ISSUE-55
- PROPOSAL to reject ISSUE-25
- accept ISSUE-12: annotation of multi-triple properties
- RE: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- PROPOSAL to *close* (not postpone) ISSUE-83
- PRPOSAL to close ISSUE-8
Wednesday, 12 December 2007
- Re: Wiki-page on EL++ and ISSUE-79
- Re: Agenda for teleconference Wednesday December 12th, 2007
- Re: Wiki-page on EL++ and ISSUE-79
- Re: Wiki-page on EL++ and ISSUE-79
- Re: Agenda for teleconference Wednesday December 12th, 2007
- Re: ISSUE-13 (quotation): REPORTED: functional syntax - quotation in strings and literals
- Re: minutes from f2f1
- Re: minutes from f2f1
- Re: minutes from f2f1
- Re: ISSUE-85 (optional): Behaviour of "Optional"/MIN 0 restrictions and retrieval of fillers of existential restrictions
- Wiki-page on EL++ and ISSUE-79
- Re: minutes from f2f1
- Re: Agenda for teleconference Wednesday December 12th, 2007
- Re: minutes from f2f1
- Re: minutes from f2f1
- Re: minutes from f2f1
- Re: racer documentation
- Re: rationals or reals?
- Re: minutes from f2f1
Tuesday, 11 December 2007
Monday, 10 December 2007
- Re: linking tracker to public-owl-dev?
- UFDTF: ACTION-23 clarify attribution issues
- On OWL Lite
- Re: Fragments - specific proposal
- skolemization proposal
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: skolems: visible differences?
- Re: racer documentation
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: skolems: visible differences?
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- skolems: visible differences?
- linking tracker to public-owl-dev?
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
Sunday, 9 December 2007
Saturday, 8 December 2007
- Re: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- Re: Fragments - specific proposal
- Re: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- Re: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- Re: Fragments - specific proposal
- Re: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- Re: QCR problem in OWL 1.1 Full - action ?? from F2F
Friday, 7 December 2007
- Fragments - specific proposal
- minutes from f2f1
- ISSUE-31 (XSD defined datatypes)
- RE: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- OWLED, Washington, DC, April 2008
- Re: A stab at operationalizing Evan Wallace's suggestion for a new Overview
- A stab at operationalizing Evan Wallace's suggestion for a new Overview
- slides on dl and full
- Fwd: Slides for Bernardo's talk
- QCR problem in OWL 1.1 Full - action ?? from F2F
- Re: Slides for Zhe's talk
- Re: Slides for Zhe's talk
- Slides for Zhe's talk
- rationals or reals?
- Re: racer documentation
- racer documentation
- Slides for Uli Sattler's datatypes talk
Thursday, 6 December 2007
- Re: ISSUE-88 (md5): Ontology header request, optional md5 checksum of ontology
- Fwd: rdfs:Class vs owl:Class
- FW: Invitation to Present and coordinate with OWL WG Task Force on User Facing Documents
- Re: ISSUE-88 (md5): Ontology header request, optional md5 checksum of ontology
- FW: Invitation to Present and coordinate with OWL WG Task Force on User Facing Documents
- ISSUE-89 (rdf:type mapping): REPORTED: In the RDF mapping (*,rdf:type,owl:Class) triples do not map to axioms
- Rich annotation examples
- User Facing Documents Task Force session intro slides
- Peter's presentation
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- ISSUE-88 (md5): Ontology header request, optional md5 checksum of ontology
- ISSUE-87 (rational numbers): RAISED: Adding a datatype to represent rational numbers
- Boris's presentation
- Re: ISSUE-77 (Horn-SHIQ): Extending Horn-SHIQ
Wednesday, 5 December 2007
Thursday, 6 December 2007
- Want to become of OWL Working Group
- ISSUE-86 (anonymous properties): RDF/XML serialization for anonymous inverse properties
- ISSUE-85 (optional): Behaviour of "Optional"/MIN 0 restrictions and retrieval of fillers of existential restrictions
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Fwd: News from Tracker
Wednesday, 5 December 2007
- Re: proposal - Fragments redux (unifying the threads under Issues 75-80)
- Update on status of SCD from XML Schema group
- Re: Extending OWL DL vocabulary
- Re: ISSUE-73 (infinite universe): REPORTED: Should owl:Thing be necessarily infinite?
- OWL 1.1 Issue: Behaviour of "Optional"/MIN 0 restrictions and retrieval of fillers of existential restrictions
- RDF/XML serialization for anonymous inverse properties
- Punning object and data properties
- Introduction: Evren Sirin
Tuesday, 4 December 2007
- RE: Extending OWL DL vocabulary
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: SOTD for publications
- Re: SOTD for publications
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: SOTD for publications
- UFDTF - non-record of non-telecon
- SOTD for publications
- FYI: translations of old docs
- RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: Rich Annotations
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
Monday, 3 December 2007
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
- RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: proposal - Fragments redux (unifying the threads under Issues 75-80)
- Re: Links to implementation lists
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Links to implementation lists
- Links to implementation lists
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: ISSUE-32 complex annotations
- Re: ISSUE-55 (owl:class) (and ISSUE-56 repairsomerdf)
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: ISSUE-32 complex annotations
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
Sunday, 2 December 2007
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1 (really ISSUE-64)?
- Re: ISSUE-55 (owl:class) (and ISSUE-56 repairsomerdf)
- Re: ISSUE-55 (owl:class)
- Re: ISSUE-55 (owl:class)
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: proposal - Fragments redux (unifying the threads under Issues 75-80)
- Re: ISSUE-55 (owl:class)
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- RE: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: issues being discussed: REPORTED vs ACCEPTED
- Re: ISSUE-76 (DLP): REPORTED: DLP
- Re: ISSUE-75 (Non tractable fragments): REPORTED: Tractable fragments that are not tractable
- Issues and annotations
- Re: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
- Re: ISSUE-49 (structural IRIs): REPORTED: structural specification should use IRIs, not strings
Saturday, 1 December 2007
- Re: Minutes 28/11/2007
- "Join" conditions on property chains
- [public-owl-wg] <none>
- Re: ISSUE-32 complex annotations
- Re: ISSUE-55 (owl:class)
- Re: ISSUE-49 (structural IRIs): REPORTED: structural specification should use IRIs, not strings
- Re: ISSUE-47 (compound keys): REPORTED: 6.2-Compound Keys
- Re: ISSUE-43 (range restrictions): REPORTED: 5.7 Range restrictions should not be separate URIs
- ISSUE-32 complex annotations
- Re: Extending OWL DL vocabulary
- Re: Extending OWL DL vocabulary