Exploring, reasoning with and validating directed graphs by applying formal concept analysis to conceptual graphs

DOI10.1007/978-3-319-78102-0_1MaRDI QIDQ2029587zbMATH OpenOpenAlexFDO

Authors Simon Andrews, Simon Polovina

Publication date 3 June 2021

Full work available at URL http://shura.shu.ac.uk/19112/1/Polovina%20Exploring%2C%20Reasoning%20with%20and%20Validating%20Directed%20Graphs.pdf

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1808290
• scientific article; zbMATH DE number 1222704
• Graph-FCA: an extension of formal concept analysis to knowledge graphs
• Conceptual Graphs and First Order Logic
• scientific article; zbMATH DE number 1322795

Cited in

(6)

• Graph-FCA in practice
• Graph-FCA: an extension of formal concept analysis to knowledge graphs
• scientific article; zbMATH DE number 1808290 (Why is no real title available?)
• Context Graphs — Representing Formal Concepts by Connected Subgraphs
• scientific article; zbMATH DE number 2090751 (Why is no real title available?)
• Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs

This page was built for publication: Exploring, reasoning with and validating directed graphs by applying formal concept analysis to conceptual graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029587)