Cory, (01)
I'm sending this reply to the new list. (02)
> What is a "system"?
>
> We should be careful in using such words as "system", in
> our enterprise architecture work we are very explicit that
> "system" is not limited to technology. An enterprise is
> a system, as is a business process, as are the computer
> programs that are a part of these larger systems. People,
> computers and things are all part of these systems. (03)
I certainly agree. That is the first assumption of General
Systems Theory: systems are combined to form other systems.
In fact, it's hard to find anything that is *not* a system,
since even atoms and their nuclei are systems. (04)
> Systems are structures with unifying behavior. (05)
That's a good definition, which raises another question about
what unifies the behavior. And one possible approach is to
focus on the tasks performed by the system and the messages
it sends and receives from other systems. That leads to my
earlier suggestion to address the more specific notions of
task-level and message-level interoperability. (06)
> As brain-dead as OWL+SWRL may be, you can write rules in SWRL
> that go beyond FOL. I don't know that CL can do everything
> OWL+SWRL can do either. (07)
The formal semantics of CL *includes* the semantics of RDF(S),
OWL, and SWRL as proper subsets. In fact, Pat Hayes, who was
a coauthor of the LBase document that defined the semantics of
RDF and OWL, is also one of the coauthors of the CL document. (08)
Although OWL and SWRL allow quantification over relations, they
do so in the same way as CL -- i.e., they allow quantifiers to
range over relations, but only over those relations that belong
to a specified domain, such as those things that have URIs. (09)
That's the condition for an FOL style of semantics: don't allow
the quantifiers to range over the uncountable "set of all possible
relations", but only over those that are in a specified domain. (010)
John (011)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (012)
|