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