[Attempto] loading, saving, and clearing ACE Wiki ontologies? Controlled languages built on other formalisms?

[Murray, William R]

Hi, Tobias,

I was thinking it would be nice to demonstrate different versions of ACE Wiki ontologies, e.g.,
one that is military domain-specific for manager-customers here and others that are "pure" to
show the reasoning and logic capabilities for scientist-colleagues.

So, it would be nice to save ontology, and load another. And occasionally clear the current
ontology and start over. Just thought I'd add that to you overflowing wish list :) I assume
currently that would require hacking the XML folder and data folders whenever I wanted to
switch ontologies.

On another academic thought of interest I was just wondering to what extent ACE had been
translated into formalisms other first-order logic and description logic? It seems like there is
ample room for a whole family of alternate formalisms from constraint description languages
to Markov Logic Networks to Bayesian Networks, etc, etc. And seems like one could add a
temporal reasoner for Allen's Temporal Algebra. Lots of thesis material if you have enough
grad students in the pipeline :)

Thanks,
          Bill

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20091204/c032c1a2/attachment.htm>