document preparation for publication
Next meeting 2nd January 2008
New Issues
OWL XML syntax?
imports and absolute URIs
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)
Cardinality Restrictions and Punning
imports
implementations and specs
Ontology versions
UFDTF: Who our documentation should target
minutes on wiki
proposal for cancelling 2 Jan OWL WG telecon
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
Minutes cleanup of last week
Efficiency/scalability
Agenda for teleconference Wednesday December 19th, 2007
- Re: Agenda for teleconference Wednesday December 19th, 2007
- Re: Agenda for teleconference Wednesday December 19th, 2007
F2F2 3-4 April 2008, Gaithersburg, Maryland, USA
Major changes in Fragments Document
- DLP deleted [Re: Major changes in Fragments Document]
- Re: Major changes in Fragments Document
- Facts in DL-Lite [was Re: Major changes in Fragments Document]
- Re: Major changes in Fragments Document
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
DL Lite
DL lookup table
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]
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
[UFDTF] Pointers to existing UFD's
Minutes of the telephone conference on 12/12/2007
PROPOSAL to close ISSUE-55
PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- accept ISSUE-12: annotation of multi-triple properties
- PROPOSAL to reject ISSUE-25
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
- Re: PROPOSAL to *close* (not postpone) ISSUE-83
PRPOSAL to close ISSUE-8
Re: ISSUE-13 (quotation): REPORTED: functional syntax - quotation in strings and literals
Wiki-page on EL++ and ISSUE-79
Agenda for teleconference Wednesday December 12th, 2007
UFDTF: ACTION-23 clarify attribution issues
skolemization proposal
skolems: visible differences?
linking tracker to public-owl-dev?
Fragments - specific proposal
- Re: Fragments - specific proposal
- Re: Fragments - specific proposal
minutes from f2f1
OWLED, Washington, DC, April 2008
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
slides on dl and full
Fwd: Slides for Bernardo's talk
Slides for Zhe's talk
racer documentation
Slides for Uli Sattler's datatypes talk
Fwd: rdfs:Class vs owl:Class
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
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
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
Fwd: News from Tracker
Update on status of SCD from XML Schema group
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
UFDTF - non-record of non-telecon
SOTD for publications
FYI: translations of old docs
Re: Rich Annotations
Links to implementation lists
Re: proposal - Fragments redux (unifying the threads under Issues 75-80)
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-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
- 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: 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: 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: ISSUE-83 (Vipul): Property Chain Axiom: P1 o P2 => P2 o P1
Re: Minutes 28/11/2007
"Join" conditions on property chains
[public-owl-wg] <none>
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-47 (compound keys): REPORTED: 6.2-Compound Keys
- ISSUE-31 (XSD defined datatypes)