Relationships between Logic Programming and RDF
Revised Papers from the PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000 on Advances in Artificial Intelligence
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
HyperGraphDB: a generalized graph database
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
RuleML 1.0: the overarching specification of web rules
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
A RIF-style semantics for ruleML-integrated positional-slotted, object-applicative rules
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Visualizing ontologies: a case study
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Hi-index | 0.00 |
Directed labeled graphs (DLGs) provide a good starting point for visual data & knowledge representation but cannot straightforwardly represent non-binary relationships, nested structures, and relation descriptions. These advanced features require encoded constructs with auxiliary nodes and relationships, which also need to be kept separate from straightforward constructs. Therefore, various extensions of DLGs have been proposed for data & knowledge representation, including n-ary relationships as directed labeled hyperarcs, graph partitionings (possibly interfaced as complex nodes), and (hyper)arc labels used as nodes of other (hyper)arcs. Ontologies and rules have used extended logics for knowledge representation such as description logic, object/frame logic, higher-order logic, and modal logic. The paper demonstrates how data & knowledge representation with graphs and logics can be reconciled, inspiring flexible name specification. It proceeds from simple to extended graphs for logics needed in AI and the Semantic Web. Along with its visual introduction, each graph construct is mapped to its corresponding symbolic logic construct. These graph-logic extensions constitute a systematics defined by orthogonal axes, which has led to the Grailog 1.0 language aligned with the Web-rule industry standard RuleML 1.0.