Towards Management of OWL-S Effects by Means of a DL Action Formalism Combined with OWL Contexts.
Domenico RedavidStefano FerilliFloriana EspositoPublished in: AIMSA (2014)
Keyphrases
- description logics
- owl ontologies
- terminological knowledge
- semantic web
- ontology languages
- knowledge representation
- web services
- management system
- knowledge base
- owl dl
- knowledge representation formalisms
- information systems
- ontology mappings
- fluent calculus
- formal semantics
- indirect effects
- rule language
- semantic modeling
- web service composition
- reasoning services
- service composition
- concurrent actions
- situation calculus
- semantic description
- expressive description logics
- action language
- expressive power
- knowledge management
- semantic web technologies
- query answering
- data management
- data sources
- automatic discovery
- semantic web services
- context awareness
- conjunctive queries
- semantic annotation