Description logic rule and process algebra based OWL-S modeling, matching and composition.
Liu SipeiWang JinWan LeiSoohong ParkPublished in: CCNC (2011)
Keyphrases
- description logics
- web services composition
- process algebra
- web service composition
- semantic modeling
- semantic web
- web services
- service composition
- ontology languages
- owl ontologies
- model checking
- knowledge base
- service description
- concurrent systems
- semantic web services
- snomed ct
- dl lite
- owl dl
- ontology matching
- asynchronous circuits
- knowledge representation
- information systems
- computing least common subsumers
- formal specification
- process model
- communication protocols
- formal semantics
- formal methods
- service discovery
- petri net
- knowledge acquisition
- relational databases