Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Yizheng Zhao; Ghadah Alghamdi; Renate Schmidt; Hao Feng; Giorgos Stoilos; Damir Juric; Mohammad Khodadadi

doi:10.1609/aaai.v33i01.33013116

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Yizheng Zhao, Ghadah Alghamdi, Renate Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi

Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

69 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019)
Publisher	AAAI Press
DOIs	https://doi.org/10.1609/aaai.v33i01.33013116
Publication status	Published - 23 Jul 2019

Publication series

Name	Proceedings of the AAAI Conference on Artificial Intelligence
Publisher	AAAI Press
ISSN (Print)	2159-5399
ISSN (Electronic)	2374-3468

Access to Document

10.1609/aaai.v33i01.33013116

paper_444Accepted author manuscript, 454 KB

Cite this

Zhao, Y., Alghamdi, G., Schmidt, R., Feng, H., Stoilos, G., Juric, D., & Khodadadi, M. (2019). Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019) (Proceedings of the AAAI Conference on Artificial Intelligence). AAAI Press. https://doi.org/10.1609/aaai.v33i01.33013116

@inproceedings{0ae5941560d441ef87b57f5881a547e5,

title = "Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach",

author = "Yizheng Zhao and Ghadah Alghamdi and Renate Schmidt and Hao Feng and Giorgos Stoilos and Damir Juric and Mohammad Khodadadi",

year = "2019",

month = jul,

day = "23",

doi = "10.1609/aaai.v33i01.33013116",

language = "English",

series = "Proceedings of the AAAI Conference on Artificial Intelligence",

publisher = "AAAI Press",

booktitle = "Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019)",

address = "United States",

}

Zhao, Y, Alghamdi, G, Schmidt, R, Feng, H, Stoilos, G, Juric, D & Khodadadi, M 2019, Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. in Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press. https://doi.org/10.1609/aaai.v33i01.33013116

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. / Zhao, Yizheng; Alghamdi, Ghadah; Schmidt, Renate et al.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). AAAI Press, 2019. (Proceedings of the AAAI Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

AU - Zhao, Yizheng

AU - Alghamdi, Ghadah

AU - Schmidt, Renate

AU - Feng, Hao

AU - Stoilos, Giorgos

AU - Juric, Damir

AU - Khodadadi, Mohammad

PY - 2019/7/23

Y1 - 2019/7/23

UR - http://www.cs.man.ac.uk/~schmidt/publications/ZhaoAlghamdiEtAl19a.html

U2 - 10.1609/aaai.v33i01.33013116

DO - 10.1609/aaai.v33i01.33013116

M3 - Conference contribution

T3 - Proceedings of the AAAI Conference on Artificial Intelligence

BT - Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019)

PB - AAAI Press

ER -

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Publication series

Access to Document

Other files and links

Cite this