A Formal Theory for Modular ERDF Ontologies.
Anastasia AnalytiGrigoris AntoniouCarlos Viegas DamásioPublished in: RR (2009)
Keyphrases
- formal theory
- derivation rules
- rdf graphs
- stable model semantics
- semantic web
- linked data
- knowledge base
- logic programs
- answer set programming
- spatial reasoning
- stable models
- knowledge representation
- query language
- closed world
- open world
- domain ontology
- rdf data
- databases
- regular expressions
- business rules
- image classification