help

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

help

Qizhi Qiu
hi!
i'm a neewer for ontology. there are serveral questions:
which kind of logic is protege based on?
what differeces between DL and FL?
 
thanks for the help.
 irene
 
 
 

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html

Reply | Threaded
Open this post in threaded view
|

Re: help

Tania Tudorache

qiuirene wrote:

>hi!
>i'm a neewer for ontology. there are serveral questions:
>which kind of logic is protege based on?
>  
>
Protege is using a frame-based knowledge representation and its
knowledge model is conformant to OKBC - The Open Knowledgebase
Connectivity (http://www.ai.sri.com/~okbc/). You find more about this on
our documentation website and in the user guide:
http://protege.stanford.edu/doc/users_guide/index.html

>what differeces between DL and FL?
>  
>
The topic is pretty broad to discuss it here. You find a good comparison
between DL and other representation formalism in "The Description Logic
Handbook"
(http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521781760) in
Chapter 4.

Cheers,
Tania

>
>thanks for the help.
> irene
>
>
>
>
>-------------------------------------------------------------------------
>To unsubscribe go to http://protege.stanford.edu/community/subscribe.html
>
>
>  
>

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html