ALCIR+ Reasoning for Semantic Web Services Composition

Description logic (DL) ALCI(R+) is a very expressive knowledge representation and reasoning language formed by adding transitive roles and inverse roles to the basic DL ALC. Transitive roles in ALCI(R+) are appropriate for describing accessibility relationship between services, while the relationship is encoded as a Service Process in DAML-S as an external understanding. The transitive closure of the special transitive role which represents accessibility relationship between the first and final services can be used to find an execution sequence of the composite service. We have presented a procedure for computing it. Existing standards DAML-S and convenient transformation from ServiceProcess in DAML-S to transitive roles in ALCI(R+) helps to make our method simple and viable.