Re: Ontology about prolog
From: Brian Hulley (brianh_at_metamilk.com)
Date: 03/10/05
- Next message: alex goldman: "Minsky still posting"
- Previous message: Willem Hajenius: "Thanks!"
- In reply to: Michael Schmidt: "Ontology about prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 10 Mar 2005 12:32:08 -0800
Michael Schmidt wrote:
> Are this some concepts of prolog or only the syntax?
>
>
> clause -> fact | rule
> fact -> ....
> term -> constant | variable | compound term
Syntax is related to the concepts at some level. However there is a lot
more that would need to be represented.
Perhaps a way to get started would be to imagine that you are creating
some hypertext to describe Prolog to someone who doesn't know anything
about it. Then you would have to talk about first order predicate
calculus, theorem proving, proof by resolution, horn clauses, negation
as failure, literals and models, goals, depth first versus breadth
first search etc.
Then there are more low level things such as backtracking, cut etc.
If each of these "concepts" is a page in your natural language
hypertext, an ontology could then be constructed by converting, for
each page, the relations between the links into relations expressed in
prolog.
Another thing to consider is what you might want to use the resulting
ontology for, since this would determine what level of granularity to
use for the concepts.
Seems quite difficult though - but very interesting
Best of luck!
Brian.
- Next message: alex goldman: "Minsky still posting"
- Previous message: Willem Hajenius: "Thanks!"
- In reply to: Michael Schmidt: "Ontology about prolog"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
