January 2012 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Jan 18 19:38:15 CET 2012
Ending: Wed Jan 25 16:36:02 CET 2012
Messages: 9

• [Hets-devel] Several minor inconsistencies in COLORE   Michael Gruninger
• [Hets-devel] Several minor inconsistencies in COLORE   Michael Gruninger
• [Hets-devel] Minor revisions to Hets for CL users   Christoph LANGE
• [Hets-devel] How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous spec?   Christoph LANGE
• [Hets-devel] How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous spec?   Christoph LANGE
• [Hets-devel] Several minor inconsistencies in COLORE   Christoph LANGE
• [Hets-devel] [CL] Announcing 'Hets for Common Logic Users' guide; your feedback appreciated   Christoph LANGE
• [Hets-devel] Minor revisions to Hets for CL users   Till Mossakowski
• [Hets-devel] How do I reuse an OWL ontology (in an RDF/XML file) in a heterogeneous spec?   Till Mossakowski

Last message date: Wed Jan 25 16:36:02 CET 2012
Archived on: Wed Jan 25 17:17:03 CET 2012

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...