@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2000/10/XMLSchema#> .
@prefix : <http://www.daml.org/2002/01/experiences/experiences.daml#> . # content negotiation fails

<> a daml:Ontology;
   daml:versionInfo "$Id: experiences.n3,v 1.8 2002/01/08 22:17:04 mdean Exp $";
   rdfs:comment "DAML+OIL Experiences Summary".

:Report a rdfs:Class;
  daml:oneOf (:klein :motta :vetere :bechhofer :carroll :OntoWeb :maria :volz :dean);
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty rdfs:label;
      daml:toClass xsd:string ];
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty :uri;
      daml:toClass xsd:string ];
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty :issue;
      daml:toClass :Issue;
      rdfs:comment "later intersect with FootnotedIssue"; ].

:Issue a rdfs:Class;
  daml:oneOf ( :reification );
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty rdfs:label;
      daml:toClass xsd:string ];
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty conclusion;
      daml:toClass xsd:string ].

:FootnotedIssue a rdfs:Class;
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty :issue;
      daml:toClass :Issue ];
  rdfs:subClassOf
    [ a daml:Restriction;
      daml:onProperty :footnote;
      daml:toClass xsd:string ].

:conclusion a daml:DatatypeProperty .
:footnote a daml:DatatypeProperty .
:issue a daml:ObjectProperty .
rdfs:label a daml:DatatypeProperty .
:uri a daml:DatatypeProperty .

:classicalRelational a :Issue;
  rdfs:label "classical relational properties";
  :conclusion "Support for classical relational properties (transitivity, reflexivity, symmetry) is preferable to direct support for partOf, etc.  In additional to TransitiveProperty, DAML+OIL should add SymmetricProperty and ReflexiveProperty.".
:collection a :Issue;
  rdfs:label "daml:collection parseType";
  :conclusion "Statement ordering can be important, and is not adequately addressed in DAML+OIL.".
:compliance a :Issue;
  rdfs:label "compliance".
:datatypes a :Issue;
  rdfs:label "datatypes".
:disagreement a :Issue;
  rdfs:label "(dis)agreements".
:documentation a :Issue;
  rdfs:label "ontology documentation".
:equivalence a :Issue;
  rdfs:label "equivalence".
:externalConstraints a :Issue;
  rdfs:label "external constraints".
:frame a :Issue;
  rdfs:label "frame orientation";
  :conclusion "Many users prefer a frame orientation, which was largely lost in DAML+OIL.".
:imports a :Issue;
  rdfs:label "daml:imports";
  :conclusion "daml:imports is insufficient and should be extended or removed.". 
:layering a :Issue;
  rdfs:label "RDF(S) layering".
:metamodel a :Issue;
  rdfs:label "meta-model";
  :conclusion "Some users desire an extensible meta-model.".
:multilinguality a :Issue;
  rdfs:label "multilinguality (internationalization, signs)";
  :conclusion "RDF and DAML+OIL provide insufficient support for labels across multiple natural languages.".
:nary a :Issue;
  rdfs:label "n-ary relations";
  :conclusion "Direct support for n-ary relations is desirable.".
:query a :Issue;
  rdfs:label "query language".
:redundancy a :Issue;
  rdfs:label "redundancy";
  :conclusion "The ability to express the same thing in multiple ways can be problematic.".
:reification a :Issue;
  rdfs:label "reification";
  :conclusion "There's strong interest in being able to make statements about (asserted) statements.".
:roles a :Issue;
  rdfs:label "roles".
:rules a :Issue;
  rdfs:label "rules".
:simplification a :Issue;
  rdfs:label "simplification".

:klein a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0105.html";
  :issue :metamodel;
  :issue :rules;
  :issue :nary;
  :issue :disagreement;
  :issue :externalConstraints.

:motta a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2001Dec/0142.html";
  :issue :nary;
  :issue :roles;
  :issue :simplification.

:vetere a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2001Dec/0143.html"; 
  :issue :classicalRelational;
  :issue :multilinguality.

:bechhofer a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2001Dec/0144.html";
  :issue :frame;
  :issue :redundancy;
  :issue :layering;
  :issue :compliance;
  :issue :imports.

:carroll a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2001Dec/0147.html";
  :issue :collection.

:OntoWeb a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-webont-wg/2001Dec/0178.html";
  :issue :multilinguality;
  :issue :reification.

:maria a :Report;
  :uri "http://www.cs.man.ac.uk/~horrocks/OntoWeb/SIG/ophthalmology.pdf";
  :issue :datatypes;
  :issue :nary.

:volz a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2002Jan/0008.html";
  :issue :multilinguality;
  :issue :frame;
  :issue :redundancy;
  :issue :imports;
  :issue :metamodel;
  :issue :documentation;
  :issue :nary;
  :issue :rules;
  :issue :query.
 
:dean a :Report;
  :uri "http://lists.w3.org/Archives/Public/www-archive/2002Jan/0016.html";
  :issue :datatypes;
  :issue :redundancy;
  :issue :classicalRelational;
  :issue :collection;
  :issue :equivalence;
  :issue :imports;
  :issue :simplification;
  :issue :reification.