Web ontology verification and modeling

In the Semantic Web research area, we aim to develop new reasoning systems for web ontology/rules and services. Recent research focus is on applying formal verification systems and constraint logic programming for checking ontology and rules inconsistency. We also proposed to use web ontology and rules to model multi-contexts in smart space systems: “Semantic Space: A Semantic Web Infrastructure for Smart Spaces".

• TBD