The Formal Definitions of Semantic Web Services and Satisfiability

Description logic is the theoretical basis of the Semantic Web. Through describing abstractly the input / output parameter type in semantic Web services, We get the formal definition of Semantic Web Services. According to the description logic point of view, Semantic Web Services were mapped into a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of advancements in computing technology 2012-12, Vol.4 (23), p.327-335
Hauptverfasser:	Yuexing, Duan, Hong, Lei
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Computation Logic Semantics Web services
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!