Аннотация
One of the key challenges in making the static Web and dynamic applications such as Web services more intelligent is to introduce some form of automated reasoning. For example, the Semantic Web promises machine-readable semantics and a machine-processable Web through ontology-based annotation of static data on the Web and Web-based dynamic applications and services. Such annotation facilitates querying and aggregating data sources on the Web in a unified manner, as well as automating discovery, selection and composition of services. Reasoning technologies for services and data on the Web have typically focused on Description Logic (e.g., OWL DL) and Rule-based (RIF, RuleML) approaches and languages. In this workshop we focus on the latter with a particular focus on Logic Programming as a viable candidate paradigm for enabling intelligent and declarative Web applications.
Пользователи данного ресурса
Пожалуйста,
войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)