Logic on MARS: Ontologies for Generalised Property Graphs.
Maximilian MarxMarkus KrötzschVeronika ThostPublished in: IJCAI (2017)
Keyphrases
- graph properties
- semantic web
- databases
- graph theoretic
- knowledge base
- rule engine
- logic programming
- domain ontology
- classical logic
- graph theory
- graph representation
- graph databases
- semantic technologies
- modal logic
- domain knowledge
- logical formulas
- semantic relationships
- asynchronous circuits
- bipartite graph
- automated reasoning
- semantically rich
- graph matching
- weighted graph
- computational properties
- logical framework
- mars rover
- predicate logic
- relational structures
- semantic relations
- ontology mapping
- graph structure
- topic maps
- graph model
- semantic web technologies
- information integration