Juan, (01)
In case you didn't realize, we (members of the Ontolog community) are
in the middle of a mini-series of talks and discussion, championed by
Matthew West, around the subject of "Database and Ontologies." The
series was initialized in Aug.2006, and kick-off in Oct.2006. (02)
See: http://ontolog.cim3.net/cgi-bin/wiki.pl?DatabaseAndOntology (03)
We just had a session yesterday ... and missed you there. (04)
All the session have been archived (slides and audio recording) ...
therefore, you might want to start from there. (05)
Cheers. =ppy
-- (06)
On 3/9/07, Juan Sequeda <jsequeda@xxxxxxxxxxxxx> wrote:
> Hi All
>
> I am glad a nice thread is starting.
>
> The reason of my question, is due to our beliefs ("our" means our research
> group under the direction of Dr. Daniel Miranker) of the way the Semantic
> Web can be successful. The Semantic web will connect data, but where is most
> of this data stored? Databases! And we will continue using databases for
> life. Therefore we believe that the success of the semantic web will depend
> on the ability to easily, maybe even trivially, either generate local
> ontologies as part of a database interface or generate mappings of local
> databases to global ontologies. Currently, these mapping systems exist and
> this can be possible, to connect a DB to the semantic web (in the case of
> the D2R Server) but with all the existing databases, who is going to build
> the ontologies that are going to be needed to be mapped.
>
> Any opinions... (07)
> On 3/9/07, Patrick Durusau <patrick@xxxxxxxxxxx> wrote:
> > John,
> >
> > John F. Sowa wrote:
> > <snip>
> >
> > >And to comment on Patrick's note,
> > >
> > >PD> While certainly useful, logic should not be portrayed as
> > > > the warp and woof of ontologies or ontological work.
> > >
> > >I agree. Ontology and logic are different subjects. But I
> > >would add that *every* precise declarative notation that is
> > >capable of making statements that are judged true or false
> > >*is* a version of logic.
> > >
> > >UML diagrams, for example, are a version of logic. The
> > >declarative subset of natural languages forms a version of
> > >logic -- and in fact, NL (actually Greek) was Aristotle's
> > >inspiration for the first formal logic. And *every*
> > >statement in *every* version of logic that anyone has
> > >ever invented can be translated into natural language.
> > >
> > >So anyone who is doing any work on ontology is stating
> > >their results in some version of logic (but possibly in
> > >a rather imprecise and insufficiently understood version).
> > >
> > >
> > >
> > My, what a large definition of logic you have. ;-)
> >
> > While I agree that "*every* statement in *every* version of logic" can
> > be translated into some natural language, I am not sure that the reverse
> > is true.
> >
> > Unless you are arguing that natural language is "a rather imprecise and
> > insufficiently understood version" of logic?
> >
> > Genuinely curious if you see no distinction (other than imprecision and
> > lack of understanding) between logic and natural language.
> >
> > Hope you are having a great day!
> >
> > Patrick
> >
> > >John
> > >
> > >
> >
> >_________________________________________________________________
> > >Message Archives:
> http://ontolog.cim3.net/forum/ontolog-forum/
> > >Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> > >Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> > >Shared Files: http://ontolog.cim3.net/file/
> > >Community Wiki: http://ontolog.cim3.net/wiki/
> > >To Post: mailto: ontolog-forum@xxxxxxxxxxxxxxxx
> > >
> > >
> > >
> > >
> > >
> > >
> >
> > --
> > Patrick Durusau
> > Patrick@xxxxxxxxxxx
> > Chair, V1 - Text Processing: Office and Publishing Systems Interface
> > Co-Editor, ISO 13250, Topic Maps -- Reference Model
> > Member, Text Encoding Initiative Board of Directors, 2003-2005
> >
> > Topic Maps: Human, not artificial, intelligence at work!
> >
> >
> >
> >
> _________________________________________________________________
> > Message Archives:
> http://ontolog.cim3.net/forum/ontolog-forum/
> > Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> > Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> > Shared Files: http://ontolog.cim3.net/file/
> > Community Wiki: http://ontolog.cim3.net/wiki/
> > To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> >
> >
>
>
>
> --
> Juan Sequeda
> Research Assistant
> Dept. of Computer Science
> University of Texas at Austin
> http://www.cs.utexas.edu/~jsequeda
> jsequeda@xxxxxxxxxxxxx
>
> _________________________________________________________________
> Message Archives:
> http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)
|