Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Graphics and Human Computer Interfaces (11)
- Databases and Information Systems (9)
- Engineering (9)
- Computer Engineering (8)
- Programming Languages and Compilers (8)
-
- Social and Behavioral Sciences (5)
- Education (4)
- Medicine and Health Sciences (4)
- Numerical Analysis and Scientific Computing (4)
- Computer and Systems Architecture (3)
- Digital Communications and Networking (3)
- Electrical and Computer Engineering (3)
- Medical Biomathematics and Biometrics (3)
- Medical Sciences (3)
- Other Computer Sciences (3)
- Business (2)
- Communication (2)
- Curriculum and Instruction (2)
- International and Comparative Education (2)
- Mathematics (2)
- OS and Networks (2)
- Other Physical Sciences and Mathematics (2)
- Statistics and Probability (2)
- Systems Architecture (2)
- Technology and Innovation (2)
- Theory and Algorithms (2)
- African Studies (1)
- Institution
-
- Singapore Management University (38)
- California Polytechnic State University, San Luis Obispo (11)
- Western University (8)
- California State University, San Bernardino (4)
- San Jose State University (4)
-
- University of Nevada, Las Vegas (4)
- Central Washington University (1)
- City University of New York (CUNY) (1)
- Claremont Colleges (1)
- East Tennessee State University (1)
- Governors State University (1)
- Kennesaw State University (1)
- Liberty University (1)
- Old Dominion University (1)
- Purdue University (1)
- The University of San Francisco (1)
- University of Connecticut (1)
- University of Dayton (1)
- University of Missouri, St. Louis (1)
- Keyword
-
- Collaboration (4)
- Web 2.0 (4)
- Model Check (3)
- 802.11 (2)
- Angle of arrival (2)
-
- Cellular automata (2)
- MVC IDE Web Applications CakePHP (2)
- Open source software (2)
- SecureAngle (2)
- Software Engineering (2)
- Software development (2)
- Web application (2)
- Wireless (2)
- security. (1)
- ACO (1)
- AI (1)
- Action research (1)
- Agents (1)
- Annotations (1)
- Anomaly Detection (1)
- Ant Colonization Optimization (1)
- Applied Soft Computing (1)
- Appreciative Inquiry (1)
- Arden Bement (1)
- Artificial Intelligence (1)
- Association measures (1)
- Automated refactoring (1)
- Autonomic computing (1)
- Awareness (1)
- Biology Mathematical models (1)
- Publication
-
- Research Collection School Of Computing and Information Systems (38)
- Electrical and Computer Engineering Publications (8)
- Collaborative Agent Design (CAD) Research Center (5)
- Computer Science and Software Engineering (4)
- Master's Projects (4)
-
- Theses Digitization Project (4)
- 2010 Annual Nevada NSF EPSCoR Climate Change Conference (3)
- All Capstone Projects (1)
- All Faculty Scholarship for the College of the Sciences (1)
- Business Analytics and Information Systems (1)
- CGU Theses & Dissertations (1)
- Computational Modeling & Simulation Engineering Faculty Publications (1)
- Computer Engineering (1)
- Computer Science Faculty Publications (1)
- Education Sciences and Professional Programs Faculty Works (1)
- Honors Scholar Theses (1)
- Master's Theses (1)
- PPRI Digital Library (1)
- Publications and Research (1)
- Senior Honors Theses (1)
- The African Journal of Information Systems (1)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (1)
- Undergraduate Honors Theses (1)
- Publication Type
Articles 1 - 30 of 82
Full-Text Articles in Software Engineering
Web-Based Ide To Create Model And Controller Components For Mvc-Based Web Applications On Cakephp, Sugiharto Widjaja
Web-Based Ide To Create Model And Controller Components For Mvc-Based Web Applications On Cakephp, Sugiharto Widjaja
Master's Projects
A Web-based IDE that allows users to easily manage Model and Controller components of a CakePHP web application was developed. With this IDE, users are able to manage the model and controller components without having to write very much PHP code. They are able to create new model components without having to worry about creating the database tables for the models as the IDE creates them automatically. The IDE offers a simple interface for users to edit the schema of their models. Users can add or delete data from their models without dealing with the SQL insert/delete statements. The IDE …
Global Dimension Of Ci: Compete Or Collaborate, Arden L. Bement Jr.
Global Dimension Of Ci: Compete Or Collaborate, Arden L. Bement Jr.
PPRI Digital Library
No abstract provided.
Technology Capacity Development Through Oss Implementation: The Case Of Public Higher Education Institutions In Ethiopia, Nigussie Tadesse Mengesha
Technology Capacity Development Through Oss Implementation: The Case Of Public Higher Education Institutions In Ethiopia, Nigussie Tadesse Mengesha
The African Journal of Information Systems
The Open Source Software (OSS) literature gives little attention to the study and practice of domain specific end-user OSS implementation in general and in the public sector of developing countries (DCs) in particular. This paper, however, investigates the trajectories of two OSS-based information systems (IS) implementation projects in a developing country (DC) context with the aim to uncover the practice-based learning and resource sharing evident among locally situated and globally dispersed developers and users. The result of the interpretative case study research shows that the OSS philosophy and practice of software development, implementation and ownership, facilitates for the emergence of …
Opportunistic Routing In Wireless Sensor Networks Powered By Ambient Energy Harvesting, Zhi Ang Eu, Hwee-Pink Tan, Winston K. G. Seah
Opportunistic Routing In Wireless Sensor Networks Powered By Ambient Energy Harvesting, Zhi Ang Eu, Hwee-Pink Tan, Winston K. G. Seah
Research Collection School Of Computing and Information Systems
Energy consumption is an important issue in the design of wireless sensor networks (WSNs) which typically rely on portable energy sources like batteries for power. Recent advances in ambient energy harvesting technologies have made it possible for sensor nodes to be powered by ambient energy entirely without the use of batteries. However, since the energy harvesting process is stochastic, exact sleep-and-wakeup schedules cannot be determined in WSNs Powered solely using Ambient Energy Harvesters (WSN–HEAP). Therefore, many existing WSN routing protocols cannot be used in WSN–HEAP. In this paper, we design an opportunistic routing protocol (EHOR) for multi-hop WSN–HEAP. Unlike traditional …
One Social, Sowmya Sampath
One Social, Sowmya Sampath
Master's Projects
Facebook streams and Twitter tweets represent user content in two common social media systems. Users often have accounts on both these systems and to keep their content current for both of them they must update each separately. It is thus difficult to manage and maintain both of these social networks together. The goal of this project is to build a social website called One Social, where users can view their Facebook streams and Twitter tweets in one single view and thereby easily organize and maintain their updates. In One Social, users can enter a status message and can share it …
View Component Of Web-Based Ide To Develop Web Applications In Cakephp, Swathi Vegesna
View Component Of Web-Based Ide To Develop Web Applications In Cakephp, Swathi Vegesna
Master's Projects
The aim of the project is to build a Web-based IDE (Integrated Development Environment) that enables users to create a Web application in PHP on the CakePHP framework. The view component of the IDE allows the users to build the CakePHP view templates, which include the HTML tags which can be properly linked with the controller functions. Users will be able to create the HTML form elements only by performing certain drags, drops and clicks. This project will create dynamic view elements, which is achieved by connecting them to the Controllers components. This IDE helps the users to create dynamic …
Web-Based Ide For Interfacing View Controller, Tejasvi Palvai
Web-Based Ide For Interfacing View Controller, Tejasvi Palvai
Master's Projects
The main idea of this project is to develop a web-based IDE, which helps users to avoid installing or configuring the Desktop IDE. It also enables users to create XHTML pages using the drag and drop mechanism in Struts. Struts extends the Java Servlet API to encourage developers to adopt the MVC (Model-View- Controller) architecture. In this project, a web application for interfacing the view and controller parts of the MVC architecture was developed. This web-based IDE connects the View and Controller components when the user drags and drops HTML elements in the UI of the IDE. With this project, …
Testing Coupling Relationships In Object-Oriented Programs, Roger Alexander, Jeff Offutt, Andreas Stefik
Testing Coupling Relationships In Object-Oriented Programs, Roger Alexander, Jeff Offutt, Andreas Stefik
All Faculty Scholarship for the College of the Sciences
As we move toward developing object‐oriented (OO) programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults occur when components are integrated to form higher‐level structures that aggregate the behavior and state. Consequently, we need to place more effort on testing the connections among components. Although OO technologies provide abstraction mechanisms for building components that can then be integrated to form applications, it also adds new compositional relations that can contain faults. This paper describes techniques for analyzing and testing the polymorphic relationships that occur in OO software. The techniques adapt traditional …
Enhancing Use Case Points Estimation Method Using Soft Computing Techniques, Ali Bou Nassif, Luiz Fernando Capretz, Nfa-Estimation
Enhancing Use Case Points Estimation Method Using Soft Computing Techniques, Ali Bou Nassif, Luiz Fernando Capretz, Nfa-Estimation
Electrical and Computer Engineering Publications
Software estimation is a crucial task in software engineering. Software estimation encompasses cost, effort, schedule, and size. The importance of software estimation becomes critical in the early stages of the software life cycle when the details of software have not been revealed yet. Several commercial and non-commercial tools exist to estimate software in the early stages. Most software effort estimation methods require software size as one of the important metric inputs and consequently, software size estimation in the early stages becomes essential. One of the approaches that has been used for about two decades in the early size and effort …
Model Checking Hierarchical Probabilistic Systems, Jun Sun, Songzheng Song, Yang Liu
Model Checking Hierarchical Probabilistic Systems, Jun Sun, Songzheng Song, Yang Liu
Research Collection School Of Computing and Information Systems
Probabilistic modeling is important for random distributed algorithms, bio-systems or decision processes. Probabilistic model checking is a systematic way of analyzing finite-state probabilistic models. Existing probabilistic model checkers have been designed for simple systems without hierarchy. In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical complex systems. We propose to use PCSP#, a combination of Hoare’s CSP with data and probability, to model such systems. In addition to temporal logic, we allow complex safety properties to be specified by non-probabilistic PCSP# model. Validity of the properties (with probability) is established by refinement checking. Furthermore, …
The Impact Of Social Media On Software Engineering Practices And Tools, Margaret-Anne Storey, Christoph Treude, Arie Van Deursen, Li-Te Cheng
The Impact Of Social Media On Software Engineering Practices And Tools, Margaret-Anne Storey, Christoph Treude, Arie Van Deursen, Li-Te Cheng
Research Collection School Of Computing and Information Systems
Today's generation of software developers frequently make use of social media, either as an adjunct or integrated into a wide range of tools ranging from code editors and issue trackers, to IDEs and web-based portals. The role of social media usage in software engineering is not well understood, and yet the use of these mechanisms influences software development practices. In this position paper, we advocate for research that strives to understand the benefits, risks and limitations of using social media in software development at the team, project and community levels. Guided by the implications of current tools and social media …
Arivu: Power-Aware Middleware For Multiplayer Mobile Games, Bhojan Anand, Karthik Thirugnanam, Thanh Long Le, Duc-Dung Pham, Akhihebbal L. Ananda, Rajesh Krishna Balan, Mun Choon Chan
Arivu: Power-Aware Middleware For Multiplayer Mobile Games, Bhojan Anand, Karthik Thirugnanam, Thanh Long Le, Duc-Dung Pham, Akhihebbal L. Ananda, Rajesh Krishna Balan, Mun Choon Chan
Research Collection School Of Computing and Information Systems
With the improved processing power, graphic quality and high-speed wireless connection in recent generations of mobile phone, it looks more attractive than ever to introduce networked games on these devices. While device features and application resource requirements are rapidly growing, the battery technologies are not growing at the same pace. Networked Mobile games are a class of application, which consume higher levels of energy, as they are naturally more computationally intensive and use hardware components including audio, display and network to their fullest capacities. Therefore, the main concern is the limitation of the battery power of such portable devices to …
Evolution Of A Bluetooth Test Application Product Line: A Case Study, Narayanasamy Ramasubbu, Rajesh Krishna Balan
Evolution Of A Bluetooth Test Application Product Line: A Case Study, Narayanasamy Ramasubbu, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement firm. In this environment, customer change requests either have to be added as a standard feature in the product, or developed as a special customized version of the product. We first discuss the influential factors, such as evolving standards, market share, installed-base, and complexity, which collectively determined how the firm responded to product change requests. We then develop a predictive decision model to test the collective impact of these factors on determining …
Model Checking A Model Checker: A Code Contract Combined Approach, Jun Sun, Yang Liu, Bin Cheng
Model Checking A Model Checker: A Code Contract Combined Approach, Jun Sun, Yang Liu, Bin Cheng
Research Collection School Of Computing and Information Systems
Model checkers, like any complex software, are subject to bugs. Unlike ordinary software, model checkers are often used to verify safety critical systems. Their correctness is thus vital. Verifying model checkers is extremely challenging because they are always complicated in logic and highly optimized. In this work, we propose a code contract combined approach for checking model checkers and apply it to a home-grown model checker PAT. In this approach, we firstly embed programming contracts (i.e., pre/post-conditions and invariants) into its source code, which can capture correctness of model checking algorithms, underlying data structures, consistency between different model checking parameters, …
Online Bookstore Web Application For Governors State University, Jayaram Rayudu Gudapati
Online Bookstore Web Application For Governors State University, Jayaram Rayudu Gudapati
All Capstone Projects
The Online Bookstore is a full-scale; enterprise level application which shall be built with ASP.NET web technologies and Microsoft Office Access database. It is a fully functional online store that you may use as a framework to create an expanded system. In this bookstore you can find a wide variety of books depending on the category we select. And also there is a feature such as Advanced search in order to get a particular book of our choice based on title, author, category or price tag.
Wireless Sensing Without Sensors: An Experimental Study Of Motion/Intrusion Detection Using Rf Irregularity, Wei Qi Lee, Winston K. G. Seah, Hwee-Pink Tan, Zexi Yao
Wireless Sensing Without Sensors: An Experimental Study Of Motion/Intrusion Detection Using Rf Irregularity, Wei Qi Lee, Winston K. G. Seah, Hwee-Pink Tan, Zexi Yao
Research Collection School Of Computing and Information Systems
Motion and intrusion detection are often cited as wireless sensor network (WSN) applications with typical configurations comprising clusters of wireless nodes equipped with motion sensors to detect human motion. Currently, WSN performance is subjected to several constraints, namely radio irregularity and finite on-board computation/energy resources. Radio irregularity in radio frequency (RF) propagation rises to a higher level in the presence of human activity due to the absorption effect of the human body. In this paper, we investigate the feasibility of monitoring RF transmission for the purpose of intrusion detection through experimentation. With empirical data obtained from the Crossbow TelosB platform …
Secureangle: Improving Wireless Security Using Angle-Of-Arrival Information, Jie Xiong, Kyle Jamieson
Secureangle: Improving Wireless Security Using Angle-Of-Arrival Information, Jie Xiong, Kyle Jamieson
Research Collection School Of Computing and Information Systems
Wireless networks play an important role in our everyday lives, at the workplace and at home. However, they are also relatively vulnerable: physically located off site, attackers can circumvent wireless security protocols such as WEP, WPA, and even to some extent WPA2, presenting a security risk to the entire network. To address this problem, we propose SecureAngle, a system designed to operate alongside existing wireless security protocols, adding defense in depth. SecureAngle leverages multi-antenna APs to profile the directions at which a client's signal arrives, using this angle-of-arrival (AoA) information to construct signatures that uniquely identify each client. We identify …
Mining Collaboration Patterns From A Large Developer Network, Didi Surian, David Lo, Ee Peng Lim
Mining Collaboration Patterns From A Large Developer Network, Didi Surian, David Lo, Ee Peng Lim
Research Collection School Of Computing and Information Systems
In this study, we extract patterns from a large developer collaborations network extracted from Source Forge. Net at high and low level of details. At the high level of details, we extract various network-level statistics from the network. At the low level of details, we extract topological sub-graph patterns that are frequently seen among collaborating developers. Extracting sub graph patterns from large graphs is a hard NP-complete problem. To address this challenge, we employ a novel combination of graph mining and graph matching by leveraging network-level properties of a developer network. With the approach, we successfully analyze a snapshot of …
Attracting The Community's Many Eyes: An Exploration Of User Involvement In Issue Tracking, Lars Grammel, Holger Schackmann, Adrian Schröter, Christoph Treude, Margaret-Anne Storey
Attracting The Community's Many Eyes: An Exploration Of User Involvement In Issue Tracking, Lars Grammel, Holger Schackmann, Adrian Schröter, Christoph Treude, Margaret-Anne Storey
Research Collection School Of Computing and Information Systems
A community of users who report bugs and request features provides valuable feedback that can be used in product development. We compare the community involvement in issue tracker usage between the open source project Eclipse and the closed source project IBM Jazz to evaluate if publicly accessible issue trackers work as well in closed source projects. We find that IBM Jazz successfully receives user feedback through this channel. We then explore the differences in work item processing in IBM Jazz between team members, project members and externals. We conclude that making public issue trackers available in closed source projects is …
Secureangle: Improving Wireless Security Using Angle-Of-Arrival Information, Jie Xiong, Kyle Jamieson
Secureangle: Improving Wireless Security Using Angle-Of-Arrival Information, Jie Xiong, Kyle Jamieson
Research Collection School Of Computing and Information Systems
Wireless networks play an important role in our everyday lives, at the workplace and at home. However, they are also relatively vulnerable: physically located off site, attackers can circumvent wireless security protocols such as WEP, WPA, and even to some extent WPA2, presenting a security risk to the entire network. To address this problem, we propose SecureAngle, a system designed to operate alongside existing wireless security protocols, adding defense in depth. SecureAngle leverages multi-antenna APs to profile the directions at which a client's signal arrives, using this angle-of-arrival (AoA) information to construct signatures that uniquely identify each client. We identify …
Scenario-Based And Value-Based Specification Mining: Better Together, David Lo, Shahar Maoz
Scenario-Based And Value-Based Specification Mining: Better Together, David Lo, Shahar Maoz
Research Collection School Of Computing and Information Systems
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications are …
Matching Dependence-Related Queries In The System Dependence Graph., Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang, Hong Mei, Jeffrey Xu Yu
Matching Dependence-Related Queries In The System Dependence Graph., Xiaoyin Wang, David Lo, Jiefeng Cheng, Lu Zhang, Hong Mei, Jeffrey Xu Yu
Research Collection School Of Computing and Information Systems
In software maintenance and evolution, it is common that developers want to apply a change to a number of similar places. Due to the size and complexity of the code base, it is challenging for developers to locate all the places that need the change. A main challenge in locating the places that need the change is that, these places share certain common dependence conditions but existing code searching techniques can hardly handle dependence relations satisfactorily. In this paper, we propose a technique that enables developers to make queries involving dependence conditions and textual conditions on the system dependence graph …
Enumeration Refactoring: A Tool For Automatically Converting Java Constants To Enumerated Types, Raffi Khatchadourian, Benjamin Muskalla
Enumeration Refactoring: A Tool For Automatically Converting Java Constants To Enumerated Types, Raffi Khatchadourian, Benjamin Muskalla
Publications and Research
Java 5 introduces several new features that significantly improve older Java technology. We consider the new enum construct, which provides language support for enumerated types. Before Java 5, programmers needed to employ various patterns to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly desirable properties of the enum construct, notably type-safety. We demonstrate an automated refactoring tool called Convert Constants to Enum for transforming legacy Java code to use the new enumeration construct. An interprocedural type inferencing algorithm that tracks the flow of enumerated values drives the approach, and the tool is …
Comprehensive Evaluation Of Association Measures For Fault Localization, Lucia Lucia, David Lo, Lingxiao Jiang, Aditya Budi
Comprehensive Evaluation Of Association Measures For Fault Localization, Lucia Lucia, David Lo, Lingxiao Jiang, Aditya Budi
Research Collection School Of Computing and Information Systems
In statistics and data mining communities, there have been many measures proposed to gauge the strength of association between two variables of interest, such as odds ratio, confidence, Yule-Y, Yule-Q, Kappa, and gini index. These association measures have been used in various domains, for example, to evaluate whether a particular medical practice is associated positively to a cure of a disease or whether a particular marketing strategy is associated positively to an increase in revenue, etc. This paper models the problem of locating faults as association between the execution or non-execution of particular program elements with failures. There have been …
An Automated Approach For Finding Variable-Constant Pairing Bugs, Julia Lawall, David Lo
An Automated Approach For Finding Variable-Constant Pairing Bugs, Julia Lawall, David Lo
Research Collection School Of Computing and Information Systems
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically depends on the correct usage of these values. Nevertheless, compilers for the languages typically used in implementing operating systems provide little support for checking the usage of named constants. This affects correctness, when a constant is used in a context where its value is meaningless, and software maintenance, when a constant has the right value for its usage context but the wrong name. We propose a hybrid program-analysis and data-mining based approach to identify …
Developing Model Checkers Using Pat, Yang Liu, Jun Sun, Jin Song Dong
Developing Model Checkers Using Pat, Yang Liu, Jun Sun, Jin Song Dong
Research Collection School Of Computing and Information Systems
During the last two decades, model checking has emerged as an effective system analysis technique complementary to simulation and testing. Many model checking algorithms and state space reduction techniques have been proposed. Although it is desirable to have dedicated model checkers for every language (or application domain), implementing one with effective reduction techniques is rather challenging. In this work, we present a generic and extensible framework PAT, which facilitates users to build customized model checkers. PAT provides a library of state-of-art model checking algorithms as well as support for customizing language syntax, semantics, state space reduction techniques, graphic user interfaces, …
Intelligent Software For Ecological Building Design, Jens G. Pohl, Hisham Assal, Kym J. Pohl
Intelligent Software For Ecological Building Design, Jens G. Pohl, Hisham Assal, Kym J. Pohl
Collaborative Agent Design (CAD) Research Center
Building design is a complex process because of the number of elements and issues involved and the number of relationships that exist among them. Adding sustainability issues to the list increases the complexity of design by an order of magnitude. There is a need for computer assistance to manage the increased complexity of design and to provide intelligent collaboration in formulating acceptable design solutions. Software development technology today offers opportunities to design and build an intelligent software system environment that can serve as a reliable intelligent partner to the human designer.
In this paper the authors discuss the requirements for …
Preconference Proceedings On Advances In Adaptive Planning Capabilities, Jens G. Pohl
Preconference Proceedings On Advances In Adaptive Planning Capabilities, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
No abstract provided.
A Method To Implement Location Transparency In A Web Service Environment, Xiaoshan Pan, Jens G. Pohl
A Method To Implement Location Transparency In A Web Service Environment, Xiaoshan Pan, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
Location transparency offers some significant benefits in the areas of middleware, Service-Oriented Architecture (SOA) and Cloud Computing. However, methods for achieving location transparency in a Web service environment are scarcely presented in the literature. This paper introduces such a method by describing a design and HTTP protocol-based implementation of location transparency. A number of benefits, including support for the creation of a virtual platform and increased mobility, availability and scalability of services, are elaborated. Two significant capabilities -performance-based load balancing and failover -are demonstrated as part of the experimental results.
On The Road To Intelligent Web Applications, Hisham Assal, Kym J. Pohl, Jens G. Pohl
On The Road To Intelligent Web Applications, Hisham Assal, Kym J. Pohl, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
Increasing access to data sources on the Internet offers expanding opportunities for equipping intelligent applications with the content they require whether broad in scope or rich in detail. Although typically originating within the web in a semi-structured form, with the use of inference-based translation and analysis mechanisms such content can be transformed into useful information and ultimately into actionable knowledge. Service-Oriented Architecture (SOA) offers a platform for accessing the web as invocable resources and effectively incorporating multiple sources of data and capabilities on the Internet into enterprise applications. Adding inference capabilities to SOA-based applications not only aids in the translation …