Diagrammatic Reasoning for ALC Visualization with Logic Graphs.

Ildar Baimuratov


Anthology ID:DBLP:conf/www/Baimuratov24
Volume:Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, May 13-17, 2024
Year:2024
Venue:The Web Conference (WWW)
Publisher:ACM
Pages:4295-4303
URL:https://doi.org/10.1145/3589334.3645607
DOI:https://doi.org/10.1145/3589334.3645607
DBLP:conf/www/Baimuratov24
BibTeX:
@inproceedings{baimuratov-2024-diagrammatic, author = {Ildar Baimuratov}, editor = {Tat-Seng Chua and Chong-Wah Ngo and Ravi Kumar and Hady Wirawan Lauw and Roy Ka-Wei Lee}, title = {{Diagrammatic Reasoning for ALC Visualization with Logic Graphs}}, booktitle = {{Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, May 13-17, 2024}}, pages = {4295--4303}, publisher = {ACM}, year = {2024}, url = {https://doi.org/10.1145/3589334.3645607}, doi = {https://doi.org/10.1145/3589334.3645607} }