AKTive Workgroup Builder (AWB): Constraint Satisfaction Problem Solving over the Semantic Web
(2005) AKTive Workgroup Builder (AWB): Constraint Satisfaction Problem Solving over the Semantic Web. In Proceedings Poster and Demo Session, European Semantic Web Conference, Heraklion, Crete.
Full text available as:
 | PDF - Requires Adobe Acrobat Reader or other PDF viewer. |
In this paper we introduce the AKTive Workgroup Builder (AWB) web application and describe how it uses distributed RDF data, defined against an OWL Lite ontology, to build and solve a user defined Constraint Satisfaction Problem (CSP). We describe our approach to mixed mode reasoning using both ontological and rule based methods and discuss how some of the factors relating to this affect the design of the system. We explain how we utilise derivation rules, expressed in the SemanticWeb Rule Language (SWRL) to further enrich our knowledge. Fully quantified constraints are then expressed against this semantic data using CIF/SWRL – an extension of SWRL using our Constraint Interchange Format (CIF). To the best of our knowledge, the AWB is unique in that no other semantic web application combines these various mechanisms to perform hybrid reasoning.
| Keywords: | Semantic Web, Quantified Constraints, Derivation Rules, Reasoning, Inference, Application |
|---|---|
| Subjects: | AKT Challenges > Knowledge reuse AKT Challenges > Knowledge acquisition |
| ID Code: | 447 |
| Deposited By: | McKenzie, Mr Craig |
| Deposited On: | 16 March 2006 |
| Alternative Locations: | http://www.csd.abdn.ac.uk/~cmckenzi/writing/publications/AWB_demo_paper_eswc2005.pdf |
Contact the site administrator at: hg@ecs.soton.ac.uk