TY - BOOK AU - Szeredi, Péter AU - Lukácsy, Gergely AU - Benkő, Tamás TI - The Semantic Web Explained. The Technology and Mathematics behind Web 3.0 TS - The Technology and Mathematics behind Web 3.0 ET - 0 PB - Cambridge University Press CY - Cambridge PY - 2014 SP - 471 SN - 9780521700368 DO - 10.1017/CBO9781139194129 UR - https://m2.mtmt.hu/api/publication/2605301 ID - 2605301 LA - English DB - MTMT ER - TY - CONF AU - Zombori, Zsolt AU - Szeredi, Péter AU - Lukácsy, Gergely ED - S, Iwata TI - Loop elimination, a sound optimisation technique for PTTP related theorem proving T2 - Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications C1 - Kyoto PY - 2011 SP - 503 EP - 512 PG - 10 UR - https://m2.mtmt.hu/api/publication/2678408 ID - 2678408 LA - English DB - MTMT ER - TY - JOUR AU - Lukácsy, Gergely AU - Szeredi, Péter TI - Efficient description logic reasoning in Prolog: The DLog system JF - THEORY AND PRACTICE OF LOGIC PROGRAMMING J2 - THEOR PRACT LOG PROG VL - 9 PY - 2009 SP - 343 EP - 414 PG - 72 SN - 1471-0684 DO - 10.1017/S1471068409003792 UR - https://m2.mtmt.hu/api/publication/2652984 ID - 2652984 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Lukácsy, Gergely AU - Szeredi, Péter TI - Combining Description Logics and Object Oriented Models in an Information Framework JF - PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING J2 - PERIOD POLYTECH ELECTR ENG VL - 53 PY - 2009 IS - 1-2 SP - 17 EP - 30 PG - 14 SN - 0324-6000 DO - 10.3311/pp.ee.2009-1-2.03 UR - https://m2.mtmt.hu/api/publication/2613402 ID - 2613402 LA - English DB - MTMT ER - TY - JOUR AU - Lukácsy, Gergely AU - Szeredi, Péter TI - Plagiarism detection in source programs using structural similarities JF - ACTA CYBERNETICA J2 - ACTA CYBERN-SZEGED VL - 19 PY - 2009 IS - 1 SP - 191 EP - 216 PG - 26 SN - 0324-721X DO - 10.14232/actacyb.19.1.2009.13 UR - https://m2.mtmt.hu/api/publication/2613401 ID - 2613401 AB - 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. LA - English DB - MTMT ER - TY - CHAP AU - Hajnal, Ákos AU - Kifor, Tamás AU - Lukácsy, Gergely AU - Varga, László Zsolt ED - Patrick, C K Hung TI - Web services as XML data sources in enterprise information integration. T2 - Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes PB - Information Science Reference CY - New York, New York SN - 9781605663319 PY - 2009 SP - 82 EP - 97 PG - 16 DO - 10.4018/978-1-60566-330-2.ch005 UR - https://m2.mtmt.hu/api/publication/166319 ID - 166319 LA - English DB - MTMT ER - TY - GEN AU - Zombori, Zsolt AU - Lukácsy, Gergely AU - Szeredi, Péter TI - Hatékony következtetés ontológiákon PY - 2008 UR - https://m2.mtmt.hu/api/publication/2681587 ID - 2681587 LA - Hungarian DB - MTMT ER - TY - JOUR AU - Lukácsy, Gergely AU - Szeredi, Péter AU - Balázs, Kádár TI - Prolog Based Description Logic Reasoning JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LNCS VL - 5366 PY - 2008 SP - 455 EP - 469 PG - 15 SN - 0302-9743 DO - 10.1007/978-3-540-89982-2_40 UR - https://m2.mtmt.hu/api/publication/2631516 ID - 2631516 LA - English DB - MTMT ER - TY - CONF AU - Lukácsy, Gergely AU - Szeredi, Péter ED - Salvador, Abreau ED - Vitor, Santos Costa TI - Rule based classification of documents using Logic Programming T2 - Proceedings of the 7th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS2007) PY - 2007 SP - 16 EP - 31 PG - 16 UR - https://m2.mtmt.hu/api/publication/2605859 ID - 2605859 LA - English DB - MTMT ER - TY - CONF AU - Lukácsy, Gergely AU - Szeredi, Péter ED - Edna, Ruckhaus TI - Ontology based information integration using logic programming T2 - Proceedings of the 2nd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS2007) PY - 2007 SP - 39 EP - 54 PG - 16 UR - https://m2.mtmt.hu/api/publication/2605857 ID - 2605857 LA - English DB - MTMT ER -