scholar.google.com › citations
Oct 29, 2010 · In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and ...
A tool for ramification reasoning over temporal OWL knowledge bases · N. Papadakis, Stavros Boutzas · Published in Int. J. Knowl. Based Intell… 1 August 2010 ...
In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. In our ...
Nikos Papadakis, Stavros Boutzas: A tool for ramification reasoning over temporal OWL knowledge bases. Int. J. Knowl. Based Intell. Eng. Syst.
A tool for ramification reasoning over temporal OWL knowledge bases ... In this paper we study the ramification problem in the setting of time-owl. Standard ...
In this paper we study the ramification problem in the setting of timeowl. Standard solutions from the literature on reasoning about action are inadequate ...
A tool for ramification reasoning over temporal OWL knowledge bases ... In this paper we study the ramification problem in the setting of time-owl. Standard ...
International Journal of Knowledge-Based and Intelligent ... - dblp
dblp.org › journals › kes › kes14
A tool for ramification reasoning over temporal OWL knowledge bases. 159-182 ... Investigations on surface characteristics over an Aluminium alloy in CNC ...
A tool for ramification reasoning over temporal OWL knowledge bases. Authors: Papadakis, Nikos | Boutzas, Stavros. Article Type: Research Article. Abstract: In ...
A tool for ramification reasoning over temporal OWL knowledge basesNikos Papadakis, Stavros Boutzas. kes, 14(3):159-182, 2010. [doi] · Expressing OWL axioms ...