[Attempto] my reasons for subscribing to the list

[Norbert E. Fuchs]

On 11 Feb 2012, at 20:10, David Whitten <whitten at worldvista.org> wrote:

> Does ACE Wiki do the kind of things that Patrick is talking about?

No, AceWiki uses a subset of ACE that can be translated into OWL.


>> Recall that Prolog does not allow for clauses with disjunctive heads. Thus ACE sentences of the form "Every A is a B or is a C." cannot be translated into Prolog clauses. There are further syntactic restrictions when you use negation.
>> 
> Norbert,
> could you expand a little on these issues, or point us to a web page
> where these example might be found?

Certainly, have a look at http://www.learnprolognow.org/.

Regards.

   --- nef