It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Continue readingThis volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Continue reading