Je suis en train de construire une ontologie OWL, qui - jusqu'à très récemment, classifiée rapidement en utilisant le raisonnement Pellet. Cependant, depuis l'introduction de plusieurs nouvelles class
J'ai une implémentation prologue qui me permet de comparer les points temporels dans les événements en utilisant une représentation prologue des 13 relations d'Allen. Chaque événement a un point de dé
J'écris un compilateur pour un langage de programmation de flux de données que j'ai conçu. L'une des caractéristiques que j'aime vraiment à ce sujet est que vous pouvez exprimer ce qui suit: x < - a +
Je voudrais créer une application qui peut faire un raisonnement simple en utilisant la logique du premier ordre. Quelqu'un peut-il recommander un "moteur" qui peut accepter un nombre arbitraire d'exp