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