Reasoning and Proofing Services for Semantic Web Agents.
Kalliopi KravariConstantinos PapatheodorouGrigoris AntoniouNick BassiliadesPublished in: IJCAI (2011)
Keyphrases
- semantic web
- semantic web technologies
- semantic grid
- knowledge representation
- semantic technologies
- owl dl
- semantic web languages
- current web
- ontology evolution
- semantic annotation
- web ontology language
- ontology languages
- web services
- ontology engineering
- decision making
- linked data
- knowledge base
- semantic data
- knowledge processing
- knowledge management
- description logics
- artificial intelligence
- semantic web rule language
- semantic web data
- mobile agents
- reasoning problems
- interchange format
- machine processable
- reasoning tasks
- virtual organization
- case study
- ubiquitous computing
- web intelligence