Zeki Bayram | Eastern Mediterranean University (original) (raw)

Papers by Zeki Bayram

Lecture Notes in Computer Science, 2014

Semantic web services, with proper security procedures, have the potential to open up the computi... more Semantic web services, with proper security procedures, have the potential to open up the computing infrastructure of an organization for smooth integration with external applications in a very controlled way, and at a very fine level of granularity. Furthermore, the process of using the provided functionality, consisting of discovery, invocation and execution of web services may be automated to a large extent. In this paper, we show how semantic web services and service-oriented computing can facilitate this integration in the education domain. Specifically, we use the Rule variant of Web Services Modeling Language (WSML) to semantically specify the functionality of web services for on-line course registration, a goal for consuming the provided functionality, as well as the ontologies needed for a shared terminology between the service and goal.

World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering, Jan 21, 2013

We demonstrate through a sample application, Ebanking, that the Web Service Modelling Language On... more We demonstrate through a sample application, Ebanking, that the Web Service Modelling Language Ontology component can be used as a very powerful object-oriented database design language with logic capabilities. Its conceptual syntax allows the definition of class hierarchies, and logic syntax allows the definition of constraints in the database. Relations, which are available for modelling relations of three or more concepts, can be connected to logical expressions, allowing the implicit specification of database content. Using a reasoning tool, logic queries can also be made against the database in simulation mode.

Lecture Notes in Computer Science, 2005

We investigate the problem of enumerating schedules, consisting of course-section assignments, in... more We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define the problem formally, and then present an algorithm that systematically enumerates solutions for it. The algorithm uses backtracking to perform a depth-first search of the implicit search space defined by the problem, pruning the search space when possible. We derive a mathematical formula for the algorithm's average-case time complexity using a probabilistic approach, and also give a brief overview of its implementation in a WEB application.

Lecture notes in electrical engineering, Aug 4, 2015

We propose a novel concise specification of semantic web services conforming to the WSMO standard... more We propose a novel concise specification of semantic web services conforming to the WSMO standard using the Flora-2 language, as well as a precise logical definition of what it means for a goal to match a web service. Our innovative usage of Flora-2 allows very short but expressive descriptions of both goals and web service capabilities, which are then used by a matching engine to discover which web services can satisfy a given goal. The matching engine, using the meta-level F-logic inferencing capabilities of the underlying Flora-2 reasoner, is very efficient and has a very concise definition itself.

Scientific Programming, 2015

Discovery of semantic Web services is a heavyweight task when the number of Web services or the c... more Discovery of semantic Web services is a heavyweight task when the number of Web services or the complexity of ontologies increases. In this paper, we present a new logical discovery framework based on semantic description of the capability of Web services and user goals using F-logic. Our framework tackles the scalability problem and improves discovery performance by adding two prefiltering stages to the discovery engine. The first stage is based on ontology comparison of user request and Web service categories. In the second stage, yet more Web services are eliminated based upon a decomposition and analysis of concept and instance attributes used in Web service capabilities and the requested capabilities of the client, resulting in a much smaller pool of Web services that need to be matched against the client request. Our prefiltering approach is evaluated using a new Web service repository, called WSMO-FL test collection. The recall rate of the filtering process is 100% by design, since no relevant Web services are ever eliminated by the two prefiltering stages, and experimental results show that the precision rate is more than 53%.

... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I ... more ... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I . . ... At the same time, it providci tools for instructors to 'design course materials.and exams on their local machine and upload the mate-rials to the server as XML doe&ents.- . . . ...

We describe the implementation strategies of an intelligent algebra tutor, the "Equation Guru" (E... more We describe the implementation strategies of an intelligent algebra tutor, the "Equation Guru" (EG), which is designed to help students learn the concepts of equation solving with one unknown. EG provides a highly interactive and entertaining learning environment through the use of Microsoft Agents. It consists of two main parts. The first is the "Tutorial" part where students guided through the steps of solving equations with one unknown. The second, "Drill and Practice" part gives them a chance to practice their skills in equation solving. In this part, equations are automatically generated by EG, and presented to the student. EG monitors the student's performance and adjusts the difficulty level of the equations accordingly.

Springer eBooks, 2014

Innovations in E-learning, Instruction Technology, Assessment, and Engineering Education

ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constr... more ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constraint logic programming system, implement them and compare their performance through simulation. The first one relies on logic variables that take on boolean values. The second one involves the use of the built-in predicates “element’ and “occurrences.’Simulations confirm that the approach that uses the built-in predicates performs better in general.

Motivated by the goal of being able to manipulate complex objects symbolically, we propose a meth... more Motivated by the goal of being able to manipulate complex objects symbolically, we propose a method of integrating functional, logic and object-oriented programming paradigms. Our method assumes the existence of an object-expression evaluator (i.e. the underlying Smalltalk interpreter) and relies on transformations and calls to this object-expression evaluator as its means of computation. Programs of the combined paradigm consist of conditional rewrite rules augmented to incorporate object expressions. 1

We present a semantic web service specification of banking transactions so that client software c... more We present a semantic web service specification of banking transactions so that client software can declare the functionality it desires of the web service without actually knowing which web service will be able to answer its request. The semantic web service infrastructure can then determine the correct web service to call, and make the call, taking care of details about the interaction between the client and server. Our approach represents a new genre of use case scenarios for semantic web services, since it envisions using them for specifying web services within an organization, rather than assuming the existence of numerous web services provided by different organizations, which would make the job of discovery an almost insurmountable task.

Computer and Information Sciences, 2016

Web Service Modeling Language (WSML), based on the Web Service Modeling Ontology (WSMO), is a lar... more Web Service Modeling Language (WSML), based on the Web Service Modeling Ontology (WSMO), is a large and highly complex language designed for the specification of semantic web services. It has different variants based on logical formalisms, such as Description Logics, First-Order Logic and Logic Programming. We perform an in-depth study of both WSMO and WSML, critically evaluating them by identifying their strong points and areas in which improvement would be beneficial. Our studies show that in spite of all the features WSMO and WSML support, their sheer size and complexity are major weaknesses, and there are other areas in which important deficiencies exist as well. We point out those discovered deficiencies, and propose remedies for them, laying the foundation for a more tractable and useful formalism for specifying semantic web services.

International Journal of Innovation, Management and Technology

We propose a novel scheme that can satisfy all types of payments through mobile phones, fulfill t... more We propose a novel scheme that can satisfy all types of payments through mobile phones, fulfill the needs of all stakeholders and still keep a robust relationship between efficiency and security. The proposed scheme is built to achieve high level of security and reliable infrastructure. This will eliminate new expenses, minimize the overheads on all stakeholders and can result in time savings of around 90% in implementation and market. Our proposed system is a new communication network that directly connects banks to their customers through mobile phones. All bank services become readily available anytime and anywhere. Our system enables individuals, point of sale, service provider or any other entity to access their own bank accounts. It relieves users from the need to carry cash or credit cards; they can therefore pay bills, transfer money, receive payments, or make reservations by using their mobile phone in real time.

Scientific Programming

We identify significant weaknesses in the original State Machine (ASM) based choreography algorit... more We identify significant weaknesses in the original State Machine (ASM) based choreography algorithm of Web Service Modeling Ontology (WSMO), which make it impractical for use in semantic web service choreography engines. We present an improved algorithm which rectifies the weaknesses of the original algorithm, as well as a practical, fully functional choreography engine implementation in Flora-2 based on the improved algorithm. Our improvements to the choreography algorithm include (i) the linking of the initial state of the ASM to the precondition of the goal, (ii) the introduction of the concept of a final state in the execution of the ASM and its linking to the postcondition of the goal, and (iii) modification to the execution of the ASM so that it stops when the final state condition is satisfied by the current configuration of the machine. Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic. Furthermore, we prove ...

Journal of Logic and Computation, 2014

ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995,... more ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995, contains a mistake. We identify the mistake and demonstrate it through two examples, suggest a solution to the problem in the original algorithm and prove that the resulting algorithm correctly unifies F-Logic molecules.

Indian Journal of Science and Technology, 2016

Background/Objectives: This article proposes a novel methodology based on rubrics and feature-bas... more Background/Objectives: This article proposes a novel methodology based on rubrics and feature-based schemes for the appraisal and comparison of approaches to semantic Web services composition and discovery. Methods/Statistical analysis: In order to evaluate the Semantic Web services composition and discovery approaches we created a new framework called RFSWS. This framework is the combination of traditional feature-based evaluation schemes and newly developed analytic rubrics tables. Five recently introduced prominent Semantic Web services composition approaches were identified, explained, and then evaluated/compared using RFSWS. Findings: In this work we determined aspects of Semantic Web services composition and discovery processes that can be evaluated as performance criteria in rubric tables. This is a novel application of rubrics, which have traditionally been used for grading student performance by teachers. We created a novel framework called RFSWS consisting of rubric tables and a feature-based evaluation scheme for the evaluation and comparison of Semantic Web service discovery and composition approaches, and applied it in the evaluation of five recently introduced prominent Semantic Web services composition approaches. Considering the shortcomings of existing Semantic Web services composition approaches that were discovered through this evaluation, we proposed an idealized dynamic Semantic Web service discovery and composition method, a yardstick by which all future Semantic Web services composition approaches can be evaluated. Application/ Improvements: Our novel RFSWS framework can be applied in the comprehensive and systematic evaluation/comparison of Semantic Web services discovery and composition approaches.

2009 24th International Symposium on Computer and Information Sciences, Sep 1, 2009

We describe XLambda, a functional language with XML syntax, and its processor which is implemente... more We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a functional language, such as defining named functions, operations on numbers, passing functions as parameters, constructing arbitrary data structures etc. What sets XLambda apart from the rest of the functional languages is not its feature set though, but rather its syntax and processor which is implemented as an XSLT stylesheet. Since most Web browsers have XSLT processors already built in, XLambda has the potential to be used as a scripting language in Browsers, much in the same way as JavaScript, among other possibilities.

Lecture Notes in Computer Science, 2014

World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering, Jan 21, 2013

Lecture Notes in Computer Science, 2005

Lecture notes in electrical engineering, Aug 4, 2015

Scientific Programming, 2015

Springer eBooks, 2014

Innovations in E-learning, Instruction Technology, Assessment, and Engineering Education

Computer and Information Sciences, 2016

International Journal of Innovation, Management and Technology

Scientific Programming

Journal of Logic and Computation, 2014

Indian Journal of Science and Technology, 2016

2009 24th International Symposium on Computer and Information Sciences, Sep 1, 2009

International Conference on Quality in Higher Education, 2019

Higher education institutions have a responsibility to perform research and produce well-educated... more Higher education institutions have a responsibility to perform research and produce well-educated graduates for a quality workforce. These outputs play an important role in nation’s economic development and sustainability as they are inputs for the industry. This effect is also important for individuals to have satisfying careers and earnings, together with better employment prospects. Both nations’ and individuals’ interest led to an increase in the number of higher education institutions, and competition among them resulted in the need to improve quality of education and student satisfaction. One of the items that affects student satisfaction is the quality of student services. The objective of this paper is to perform a systematic screening, as a precursor to a review, of published literature on Natural Language Interface applications in the education domain in order to determine the recent trends in the area.