Reasoning in Formal Systems of Extended RDF Networks.
Alena LukasováMartin ZácekMarek VajglPublished in: ACIIDS (2) (2017)
Keyphrases
- reasoning systems
- complex systems
- management system
- neural network
- reactive systems
- knowledge representation
- databases
- reason maintenance
- formal models
- database
- distributed systems
- computer systems
- query language
- retrieval systems
- linked data
- formal methods
- automated reasoning
- data model
- web services
- knowledge base
- knowledge representation languages