Model driven engineering of a tableau algorithm for description logics
Abstract
This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languages use. In order to address these issues, we propose the use of model-driven engineering principles for the development of a DL reasoner where a definition of a DL abstract syntax is provided by means of metamodels. The presented approach is based on the use of a MOF-based model repository and QVT-like transformations, which transform models compliant to the DL metamodel taken from the OMG's Ontology Definition Metamodel specification into models compliant to the Tableau metamodel defined in this paper. .
Keywords:
tableau algorithm / model driven architecture / description logicsSource:
Computer Science and Information Systems / ComSIS, 2009, 6, 1, 23-43Publisher:
- ComSIS Consortium
DOI: 10.2298/CSIS0901023K
ISSN: 1820-0214
WoS: 000268481800002
Scopus: 2-s2.0-70349571332
Collections
Institution/Community
Fakultet organizacionih naukaTY - JOUR AU - Krdžavac, Nenad AU - Gašević, Dragan AU - Devedžić, Vladan PY - 2009 UR - https://rfos.fon.bg.ac.rs/handle/123456789/561 AB - This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languages use. In order to address these issues, we propose the use of model-driven engineering principles for the development of a DL reasoner where a definition of a DL abstract syntax is provided by means of metamodels. The presented approach is based on the use of a MOF-based model repository and QVT-like transformations, which transform models compliant to the DL metamodel taken from the OMG's Ontology Definition Metamodel specification into models compliant to the Tableau metamodel defined in this paper. . PB - ComSIS Consortium T2 - Computer Science and Information Systems / ComSIS T1 - Model driven engineering of a tableau algorithm for description logics EP - 43 IS - 1 SP - 23 VL - 6 DO - 10.2298/CSIS0901023K UR - conv_1039 ER -
@article{ author = "Krdžavac, Nenad and Gašević, Dragan and Devedžić, Vladan", year = "2009", abstract = "This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languages use. In order to address these issues, we propose the use of model-driven engineering principles for the development of a DL reasoner where a definition of a DL abstract syntax is provided by means of metamodels. The presented approach is based on the use of a MOF-based model repository and QVT-like transformations, which transform models compliant to the DL metamodel taken from the OMG's Ontology Definition Metamodel specification into models compliant to the Tableau metamodel defined in this paper. .", publisher = "ComSIS Consortium", journal = "Computer Science and Information Systems / ComSIS", title = "Model driven engineering of a tableau algorithm for description logics", pages = "43-23", number = "1", volume = "6", doi = "10.2298/CSIS0901023K", url = "conv_1039" }
Krdžavac, N., Gašević, D.,& Devedžić, V.. (2009). Model driven engineering of a tableau algorithm for description logics. in Computer Science and Information Systems / ComSIS ComSIS Consortium., 6(1), 23-43. https://doi.org/10.2298/CSIS0901023K conv_1039
Krdžavac N, Gašević D, Devedžić V. Model driven engineering of a tableau algorithm for description logics. in Computer Science and Information Systems / ComSIS. 2009;6(1):23-43. doi:10.2298/CSIS0901023K conv_1039 .
Krdžavac, Nenad, Gašević, Dragan, Devedžić, Vladan, "Model driven engineering of a tableau algorithm for description logics" in Computer Science and Information Systems / ComSIS, 6, no. 1 (2009):23-43, https://doi.org/10.2298/CSIS0901023K ., conv_1039 .