@book{MTMT:2605301,
	title = {The Semantic Web Explained. The Technology and Mathematics behind Web 3.0},
	url = {https://m2.mtmt.hu/api/publication/2605301},
	isbn = {9780521700368},
	author = {Szeredi, Péter and Lukácsy, Gergely and Benkő, Tamás},
	doi = {10.1017/CBO9781139194129},
	publisher = {Cambridge University Press & Assessment},
	unique-id = {2605301},
	year = {2014}
}

@CONFERENCE{MTMT:2678408,
	title = {Loop elimination, a sound optimisation technique for PTTP related theorem proving},
	url = {https://m2.mtmt.hu/api/publication/2678408},
	author = {Zombori, Zsolt and Szeredi, Péter and Lukácsy, Gergely},
	booktitle = {Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications},
	unique-id = {2678408},
	year = {2011},
	pages = {503-512}
}

@article{MTMT:2652984,
	title = {Efficient description logic reasoning in Prolog: The DLog system},
	url = {https://m2.mtmt.hu/api/publication/2652984},
	author = {Lukácsy, Gergely and Szeredi, Péter},
	doi = {10.1017/S1471068409003792},
	journal-iso = {THEOR PRACT LOG PROG},
	journal = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
	volume = {9},
	unique-id = {2652984},
	issn = {1471-0684},
	abstract = {Traditional algorithms for description logic (DL) instance retrieval are inefficient for large amounts of underlying data. As DL is becoming more and more Popular in areas Such as the Semantic Web and information integration, it is very important to have systems which can reason efficiently over large data sets. In this paper we present all approach to transform DL axioms, formalised in the SHIQ DL language, into a Prolog program under the unique name assumption. This transformation is performed with no knowledge about particular individuals: they are accessed dynamically during the normal Prolog execution of the generated program. This technique, together with the top-down Prolog execution, implies that only those pieces of data are accessed that are indeed important for answering the query. This makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps in using DL ontologies directly on top of existing information sources. The transformation process consists of two steps: (1) the DL axioms are converted to first-order clauses of a restricted form, and (2) a Prolog program is generated from these clauses. Step (2), which is the focus of the present paper, actually works on more general clauses than those obtainable by applying step (1) to a SHIQ knowledge base. We first present a base transformation, the Output of which can be either executed Using a simple interpreter or further extended to executable Prolog code. We then discuss several optimisation techniques, applicable to the output of the base transformation. Some of these techniques are specific to our approach, while others are general enough to be interesting for DL reasoner implementors not using Prolog. We give ail overview of DLog, a DL reasoner in Prolog, which is an implementation of the techniques outlined above. We evaluate the performance of DLog and compare it to some widely used DL reasoners, such as RacerPro, Pellet and KAON2.},
	keywords = {THEOREM PROVER},
	year = {2009},
	eissn = {1475-3081},
	pages = {343-414}
}

@article{MTMT:2613402,
	title = {Combining Description Logics and Object Oriented Models in an Information Framework},
	url = {https://m2.mtmt.hu/api/publication/2613402},
	author = {Lukácsy, Gergely and Szeredi, Péter},
	doi = {10.3311/pp.ee.2009-1-2.03},
	journal-iso = {PERIOD POLYTECH ELECTR ENG},
	journal = {PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING},
	volume = {53},
	unique-id = {2613402},
	issn = {0324-6000},
	year = {2009},
	eissn = {1587-3781},
	pages = {17-30}
}

@article{MTMT:2613401,
	title = {Plagiarism detection in source programs using structural similarities},
	url = {https://m2.mtmt.hu/api/publication/2613401},
	author = {Lukácsy, Gergely and Szeredi, Péter},
	doi = {10.14232/actacyb.19.1.2009.13},
	journal-iso = {ACTA CYBERN-SZEGED},
	journal = {ACTA CYBERNETICA},
	volume = {19},
	unique-id = {2613401},
	issn = {0324-721X},
	abstract = {The paper presents a plagiarism detection framework the goal of which is to determine whether two programs are similar to each other, and if so, to what extent. The issue of plagiarism detection has been considered earlier for written material, such as student essays. For these, text-based algorithms have been published. We argue that in case of program code comparison, structure based techniques may be much more suitable. The main idea is to transform the source code into mathematical objects, use appropriate reduction and comparison methods on these, and interpret the results appropriately. We have designed a generic program structure comparison framework and implemented it for the Prolog and SML programming languages. We have been using the implementation at BUTE to successfully detect plagiarism in homework assignments for years.},
	year = {2009},
	eissn = {2676-993X},
	pages = {191-216}
}

@inbook{MTMT:166319,
	title = {Web services as XML data sources in enterprise information integration.},
	url = {https://m2.mtmt.hu/api/publication/166319},
	author = {Hajnal, Ákos and Kifor, Tamás and Lukácsy, Gergely and Varga, László Zsolt},
	booktitle = {Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes},
	doi = {10.4018/978-1-60566-330-2.ch005},
	unique-id = {166319},
	year = {2009},
	pages = {82-97},
	orcid-numbers = {Hajnal, Ákos/0000-0001-6410-8895; Varga, László Zsolt/0000-0001-8088-4528}
}

@misc{MTMT:2681587,
	title = {Hatékony következtetés ontológiákon},
	url = {https://m2.mtmt.hu/api/publication/2681587},
	author = {Zombori, Zsolt and Lukácsy, Gergely and Szeredi, Péter},
	unique-id = {2681587},
	year = {2008}
}

@article{MTMT:2631516,
	title = {Prolog Based Description Logic Reasoning},
	url = {https://m2.mtmt.hu/api/publication/2631516},
	author = {Lukácsy, Gergely and Szeredi, Péter and Balázs, Kádár},
	doi = {10.1007/978-3-540-89982-2_40},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {5366},
	unique-id = {2631516},
	issn = {0302-9743},
	year = {2008},
	eissn = {1611-3349},
	pages = {455-469}
}

@CONFERENCE{MTMT:2605859,
	title = {Rule based classification of documents using Logic Programming},
	url = {https://m2.mtmt.hu/api/publication/2605859},
	author = {Lukácsy, Gergely and Szeredi, Péter},
	booktitle = {Proceedings of the 7th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS2007)},
	unique-id = {2605859},
	year = {2007},
	pages = {16-31}
}

@CONFERENCE{MTMT:2605857,
	title = {Ontology based information integration using logic programming},
	url = {https://m2.mtmt.hu/api/publication/2605857},
	author = {Lukácsy, Gergely and Szeredi, Péter},
	booktitle = {Proceedings of the 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS2007)},
	unique-id = {2605857},
	year = {2007},
	pages = {39-54}
}