Author/Authors :
Srini Narayanan، نويسنده , , Sheila McIlraith، نويسنده ,
Keywords :
Verification , Semantic Web , Ontologies , Web Services , Web servic , Knowledge representation formalisms and methods , Representation languages , Representations , Framesand scripts , Algorithms , design , Languages , Standardization , DAML , Theory , Predicate logic