PROTON: A Prolog Reasoner for Temporal ONtologies in OWL.
Nikos PapadakisKostas StravoskoufosEvdoxios BaratisEuripides G. M. PetrakisDimitris PlexousakisPublished in: Expert Syst. Appl. (2011)
Keyphrases
- knowledge base
- knowledge representation
- semantic web
- reasoning services
- ontology languages
- semantic web technologies
- description logics
- owl ontologies
- ontology mappings
- logic programming
- temporal reasoning
- owl dl
- query answering
- temporal databases
- temporal information
- web ontology language
- expert systems
- spatio temporal
- semantic heterogeneity
- temporal data
- domain ontology
- ontology reasoning
- ontology mapping
- inference engine
- consistency checking
- formal semantics
- artificial intelligence
- monte carlo simulation
- spatial and temporal
- temporal patterns
- conceptual models
- information integration
- semantic technologies
- web resources
- design patterns
- wordnet
- markov chain
- programming language
- data model
- abstract machine
- databases