@@@@@@@@@@
for the syntax section:
see also XML Schema for RDF, rdfs, inference, lists, problem report of 28Jul2000
@@stuff to be reviewed...
The RDF model and syntax specification defined a number of features which are not required for DAML. DAML agents will not be required to be able to process these.
- RDF "aboutEachPrefix"
- RDF bags (??@@) and "aboutEach"
- xml:lang attributes are not represented in the RDF model
RDF documents are encoded in XML syntax [XML1.0] using namespaces [NS]. For the purposes of this project, the following XML features are not required for DAML, and DAML agents are not required to process them.
- DTD parsing
DAML project participants should note that the current RDF-Schema document [RDFS0] has dissimilar definitions of range and domain. This document assumes that this error will be fixed and the conventional meanings [@@what are those? --DanC 31Jul] associated in a future version of the specification [do the new definitions get new names, i.e. new URIs? --DanC 31Jul].
RDF within other XML documents
Practical considerations require DAML to be able to be inserted into other XML documents [which practical considerations? do we really need this now? --DanC 31Jul]. For this to be possible, the DAML parser must have a hint as to whether the other namesapces are ignorable, or have some RDF semantics. The document management section includes an RDF property for asserting that a given namespace is transparent to RDF in that any non-RDF elements may be replcaed by their content with no change to the RDF model conveyed by the document.
@@ check we have covered:
semantics (stefan)
@@@@@@@@@@
from the Model section:
(borrowing from the terminology of a section of the KIF 3.0 spec)
@@hmm... we could define "reflexive on S" rather than just "reflexive".
(commutative?)
The concept of equivalence is a crucuial one upon which much else is then based. It must be stressed that this is one equivalence relation which is defined here, while anyone is free to define their own for their own purposes. The one defined here is a strict higher-order equivalence, in that the semantics are that the resources connected by isEquivalentTo relation can be subsituted for each other under any circumstances.
The only processing which is disallowed (following web architecture) is that properties are not allowd to peek into the content of the URI string identifying a resource. That is, to define a property "The schema string of the URI identifying the resource" is illegal.
isEquivalentTo(a,b) => ( a(x,y) => b(x,y)) & (x(a,y)=>x(b,y)) & ..
equivalent: see OIL's isInverse of
@@@ Question as to whether you count this as following isEquivalentTo or not. It gives you a way of expressing equivalence of properties as
inverse(a,b) and inverse(b,c) gives effect of equivalence.
aka Injective, or 1-1. Compary max-cardinality=1.
aka functional
transitive, antisymmetric@@
@@@ Check: Have we included
"a survey of the literature"
split into things whioch require equivalence and things which do; things implying HOL; etc- in fact we have no FOL layer all is HOL.
look for dependencies elsewhere;
look for a table of what system understands what terms;
Write this in dan-ish
OKBC Knowledge Model @@GFP knowledge model
In contrast to HTML - if you want to change this list you don't change this list but you put something different ideas on the web. Use equivalence to show when yours is the same as mine. Future standard may be a new list with a lot of this list and others.
@@Building HOL section
@ disclaimers of status of thius chapter
@@ Dan to put his work on this here
@@@ check have we included:
This chapter is not formally part of DAML as it assumes conversance with the previous chapter in which logical primitives were introduced. Here we use these primitives to give a formal set of rules for DAML; rules which were implicitly or explicitly stated in the RDF Model and Syntax, RDF Schema documents, and in the Chapter on ontological terms in this document.
RDF Model and Syntax, RDF Schema
Ontological Rules
The raw transfer syntax RDF corresponding to these rules is given in an appendix.
@@ from Doc Mgmt section:
@@ check:
@@@@@@@@
A gloss on the RDF spec, in KIF terms:
*absolute URI with optional fragment identifier, that is
@@@@Future Work
@@check:
(authoring tools --Dan)
@@@
auto generating stuff...
(@@hmm... relative URIs aren't handled correctly)
or
./DAML-0-5.html,apply=/magic/dan5.xsl
(to allow relative URI for target of conversion!)
@@@@@@
some stuff in bibliography of proposal
see also: References in toward swell...