From Algebraic Specification to Ontological Description of Service Semantics.
Dongmei LiuHong ZhuIan BayleyPublished in: ICWS (2013)
Keyphrases
- high level
- specification language
- service description
- ontological framework
- specification languages
- web services
- operational semantics
- protocol specification
- service composition
- conceptual model
- formal specification
- owl ontologies
- service providers
- service discovery
- ontological concepts
- algebraic structure
- logic programming
- action descriptions
- service quality
- conceptual schema
- active rules
- conceptual modeling
- knowledge representation
- semantic representation
- formal semantics
- ontological reasoning
- precise definition
- management system
- graphical representation
- semantic information
- domain specific
- business rules
- object oriented
- action language
- conceptual graphs
- service oriented
- domain ontology
- end users
- description language
- programming language
- database systems