Anzeige
Erschienen in:
2012 | OriginalPaper | Buchkapitel
Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic
verfasst von : Juan Wang, Liang Chang, Chuangying Zhu, Rongsheng Dong
Erschienen in: Intelligent Information Processing VI
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Temporal description logic
ALC
-LTL not only has considerable expressive power, but also extends the description capability of description logic from the static domain to the dynamic domain. In this paper,
ALC
-LTL is applied for the composition of semantic Web services. We take the view that atomic process and composite process in the OWL-S ontology can be considered as atomic service and composited service respectively. Inputs, outputs, local variables, preconditions and results of atomic processes can all be described with
ALC
-LTL. Based on the models of services, the executability problem and the projection problem of Web services can be reasoned about effectively.