A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL.
Hans-Ulrich KriegerPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- rdf graphs
- semantic web
- rule language
- data model
- knowledge representation
- temporal information
- owl ontologies
- rdf schema
- association rules
- semantic web data
- temporal data
- temporal constraints
- representation language
- production rules
- logic programming
- machine learning
- temporal databases
- query language
- linear temporal logic
- spatio temporal
- temporal patterns
- linked data
- inference engine
- rule sets
- classification rules
- ontology languages
- knowledge base