FaCT- Protégé

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

FaCT- Protégé

Susana Ferreiro
Hi,
What's FaCT?

Thanks,

Susana.

 

<A href="file://C:\Documents and Settings\sferreiro\Datos de programa\Microsoft\Signatures\logo.gif">

Susana Ferreiro Del Río
Dept. Procesos de Fabricación  Manufacturing Processes Dept.
http://www.tekniker.es http://www.wearcheckiberica.es

TEKNIKER
Otaola 20 · P.O. Box 44

20600 EIBAR · Gipuzkoa · Spain
Tel.: +34.943.206.744
Fax: +34 943 202757

Mezu honen informazioa isilpekoa izan daiteke eta indarrean dagoen legediak babesten du. Hutsegite baten ondorioz jaso baduzu, bidal iezaiozu berriro bidaltzaileari eta ezaba ezazu. Milesker zure laguntzagatik.
La información de este correo puede ser confidencial y está protegida por la legislación vigente. Si ha recibido este correo por error, reenvíelo a su emisor y elimínelo. Gracias por su ayuda.
This e-mail may contain confidential information that is protected by our laws. If you have received this e-mail by mistake, please, notify the sender and delete it. Thank you for your help.

 
Reply | Threaded
Open this post in threaded view
|

Re: FaCT- Protégé

Almut Herzog
Susana Ferreiro wrote:
> Hi,
> What's FaCT?
>

http://www.cs.man.ac.uk/~horrocks/FaCT/

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

Reply | Threaded
Open this post in threaded view
|

Re: [protege-owl] FaCT- Protégé

Doug Holmes
In reply to this post by Susana Ferreiro
Susana,
FaCT is a DL reasoner that is (1) freely available and (2) supports the DIG interface and is therefore compatible (pretty easy to use) with Protégé. You can find out more about it at http://owl.man.ac.uk/factplusplus/ .  There are also several other similar reasoners available (e.g. Pellet, Racer; KAON2 is a reasoner that offers a different approach...).
Doug

On May 3, 2006, at 7:36 AM, Susana Ferreiro wrote:

Hi,
What's FaCT?

Thanks,

Susana.

 

<A href="file://C:\Documents and Settings\sferreiro\Datos de programa\Microsoft\Signatures\logo.gif">

<logo.gif>

Susana Ferreiro Del Río
Dept. Procesos de Fabricación  Manufacturing Processes Dept.
http://www.tekniker.es http://www.wearcheckiberica.es

TEKNIKER
Otaola 20 · P.O. Box 44

20600 EIBAR · Gipuzkoa · Spain
Tel.: +34.943.206.744
Fax: +34 943 202757

Mezu honen informazioa isilpekoa izan daiteke eta indarrean dagoen legediak babesten du. Hutsegite baten ondorioz jaso baduzu, bidal iezaiozu berriro bidaltzaileari eta ezaba ezazu. Milesker zure laguntzagatik.
La información de este correo puede ser confidencial y está protegida por la legislación vigente. Si ha recibido este correo por error, reenvíelo a su emisor y elimínelo. Gracias por su ayuda.
This e-mail may contain confidential information that is protected by our laws. If you have received this e-mail by mistake, please, notify the sender and delete it. Thank you for your help.

 

Reply | Threaded
Open this post in threaded view
|

Re: [protege-owl] FaCT- Protégé

Matthew Horridge
In reply to this post by Susana Ferreiro
Hi Susana,

FaCT is the predecessor to the FaCT++ reasoner.  You can download FaCT
++ from http://owl.man.ac.uk/factplusplus/

Cheers,

Matthew

On 3 May 2006, at 15:36, Susana Ferreiro wrote:

> Hi,
> What's FaCT?
> Thanks,
>
> Susana.
>
>
> <logo.gif>
>
> Susana Ferreiro Del Río
> Dept. Procesos de Fabricación  Manufacturing Processes Dept.
> http://www.tekniker.es http://www.wearcheckiberica.es
>
> TEKNIKER
> Otaola 20 · P.O. Box 44
> 20600 EIBAR · Gipuzkoa · Spain
> Tel.: +34.943.206.744
> Fax: +34 943 202757
>
> Mezu honen informazioa isilpekoa izan daiteke eta indarrean dagoen  
> legediak babesten du. Hutsegite baten ondorioz jaso baduzu, bidal  
> iezaiozu berriro bidaltzaileari eta ezaba ezazu. Milesker zure  
> laguntzagatik.
> La información de este correo puede ser confidencial y está  
> protegida por la legislación vigente. Si ha recibido este correo  
> por error, reenvíelo a su emisor y elimínelo. Gracias por su ayuda.
> This e-mail may contain confidential information that is protected  
> by our laws. If you have received this e-mail by mistake, please,  
> notify the sender and delete it. Thank you for your help.
>
>

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