Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (3560)
- Wright State University (631)
- Walden University (447)
- New Jersey Institute of Technology (143)
- University of Malaya (131)
-
- University of Nebraska at Omaha (119)
- Old Dominion University (108)
- California State University, San Bernardino (100)
- San Jose State University (89)
- University of Dayton (82)
- City University of New York (CUNY) (70)
- University of Dar es Salaam (63)
- Air Force Institute of Technology (61)
- University of Nebraska - Lincoln (60)
- University of South Florida (56)
- Kennesaw State University (54)
- Nova Southeastern University (52)
- Technological University Dublin (51)
- University of Arkansas, Fayetteville (46)
- Dakota State University (43)
- Claremont Colleges (42)
- California Polytechnic State University, San Luis Obispo (41)
- Institute of Business Administration (38)
- Western Kentucky University (36)
- Purdue University (35)
- Ateneo de Manila University (34)
- Governors State University (34)
- Portland State University (34)
- University of Arkansas Little Rock (33)
- University of Nevada, Las Vegas (32)
- Keyword
-
- Machine learning (122)
- Information technology (91)
- Data mining (90)
- Social media (83)
- Machine Learning (64)
-
- Cybersecurity (63)
- Deep learning (60)
- Twitter (60)
- Artificial intelligence (58)
- Semantic Web (53)
- Online learning (51)
- Databases (46)
- Cloud computing (45)
- Information Technology (45)
- Information retrieval (45)
- Classification (43)
- Database (42)
- Blockchain (41)
- Natural language processing (41)
- Ontology (41)
- Big data (40)
- Security (39)
- Technology (39)
- Computer science (38)
- Privacy (38)
- Algorithms (37)
- Clustering (37)
- Deep Learning (37)
- Information systems (37)
- Management (37)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (3441)
- Kno.e.sis Publications (540)
- Walden Dissertations and Doctoral Studies (447)
- Theses and Dissertations (129)
- Student Works (2000-2009) (120)
-
- Dissertations (113)
- Computer Science Faculty Publications (95)
- Computer Science and Engineering Faculty Publications (91)
- Theses Digitization Project (86)
- Master's Projects (68)
- Information Systems and Quantitative Analysis Faculty Proceedings & Presentations (64)
- Tanzania Journal of Engineering and Technology (TJET) (60)
- Dissertations and Theses Collection (Open Access) (58)
- USF Tampa Graduate Theses and Dissertations (51)
- Theses (48)
- CCAC Theses and Dissertations (43)
- Information Systems and Quantitative Analysis Faculty Publications (41)
- CGU Faculty Publications and Research (37)
- International Conference on Information and Communication Technologies (36)
- Open Educational Resources (35)
- Graduate Theses and Dissertations (34)
- Department of Information Systems & Computer Science Faculty Publications (33)
- All Capstone Projects (32)
- Masters Theses & Doctoral Dissertations (32)
- Conference papers (28)
- All Maxine Goodman Levin School of Urban Affairs Publications (27)
- UBT International Conference (23)
- Electronic Theses and Dissertations (22)
- Faculty Articles (22)
- Master's Theses (22)
- Publication Type
- File Type
Articles 5821 - 5850 of 7256
Full-Text Articles in Computer Sciences
A Lateral Symmetry Approach To Percentage-Based Hybrid Pattern (Php) Training, Sheng-Uei Guan, Kiruthika Ramanathan
A Lateral Symmetry Approach To Percentage-Based Hybrid Pattern (Php) Training, Sheng-Uei Guan, Kiruthika Ramanathan
Research Collection School Of Computing and Information Systems
In this paper, we investigate the application of lateral symmetry to supervised learning using genetic algorithms. The hypothesis is motivated by the presence of symmetry in the animal brain and by research results showing approximately equal task division between the two hemispheres of the brain. In this paper, each training pattern is considered a task. By applying the concept of lateral symmetry, we use global training (a typically right brained activity) to learn half the tasks and local training (a left brained activity) to learn the rest of the tasks. We verified the use of this Percentage-based Pattern (PHP) training …
Interface Design For Handheld Mobile Devices, Peter Tarasewich, Jun Gong, Fiona Fui-Hoon Nah
Interface Design For Handheld Mobile Devices, Peter Tarasewich, Jun Gong, Fiona Fui-Hoon Nah
Research Collection School Of Computing and Information Systems
Mobile computing has attracted a lot of attention from both the industry and academia in recent years. While a number of mobile applications have been developed, there are no established guidelines on the design of mobile device interfaces. This paper presents our initial efforts to provide a set of practical design guidelines for mobile device interfaces.
Theoretical And Practical Complexity Of Modeling Methods, John Erickson, Keng Siau
Theoretical And Practical Complexity Of Modeling Methods, John Erickson, Keng Siau
Research Collection School Of Computing and Information Systems
The estimation of theoretical and practical complexity of a system development method is discussed. Executable model capability allow developers to transform models developed during the Systems Analysis and Design portion of the systems development process into working applications. Systems are becoming more complex mostly because of influencing factors such as required and enhanced functionality, interoperability, and security. Other trends that impact the complexity of applications include systems such as enterprise resource planning, supply chain management, and customer relationship management. These types of systems are very large and complex and require close internal cooperation for the implementing organizations individually and also …
Measuring Knowledge Sharing In Open Source Software Development Teams, Y. Long, Keng Siau, K. Howell
Measuring Knowledge Sharing In Open Source Software Development Teams, Y. Long, Keng Siau, K. Howell
Research Collection School Of Computing and Information Systems
The study provides an approach to measure the extent of knowledge sharing in Open Source Software (OSS) development in terms of two aspects: the quality of knowledge sharing which is indicated by the helpfulness of the messages, and the quantity of knowledge sharing which is indicated by the volume of the messages. The study developed a computer-aided content analysis program to assess the helpfulness of the messages based on a set of keywords and the length of the messages. The approach was applied to measure the extent of knowledge sharing of 150 OSS projects. The results further confirmed that the …
Design Science Research On Systems Analysis And Design: The Case Of Uml, X. Tan, Keng Siau, J. Erickson
Design Science Research On Systems Analysis And Design: The Case Of Uml, X. Tan, Keng Siau, J. Erickson
Research Collection School Of Computing and Information Systems
Design science in the IS discipline seeks to create artifacts that embody the ideas, practices, technical capabilities, and products required to efficiently accomplish the analysis, design, implementation, and use of information systems (Hevner et al 2006). SA&D research, being close to the design science paradigm, has suffered from a lack of appreciation from the behavioral science paradigm. To provide a paradigmatic foundation, we propose a conceptual framework for SA&D research. The framewor was developed based on several essays that systematically articulate the design science paradigm in the IS field. Using this framework, we reviewed some UML papers that appeared in …
An Augmented Approach To Support Collaborative Distance Learning Of Unified Modeling Language, Keng Siau, Fiona Fui-Hoon Nah, Brenda Eschenbrenner, Ashu Guru
An Augmented Approach To Support Collaborative Distance Learning Of Unified Modeling Language, Keng Siau, Fiona Fui-Hoon Nah, Brenda Eschenbrenner, Ashu Guru
Research Collection School Of Computing and Information Systems
Teaching in the classroom faces many challenges of providing a collaborative, interactive environment that effectively facilitates students’ learning. The challenges increase when the physical classroom converts into a virtual classroom. This difficulty is further exacerbated when the course is diagramming intensive, practice-oriented, and hands-on in nature. Technology has been sought after to help with these challenges. Web Conferencing software, when compared to Web Broadcasting software, can facilitate real-time interaction and collaboration in a distance learning context. For courses that are diagramming intensive and practice-oriented, Tablet PCs, when compared to desktop PCs, can support drawing and diagramming because of the ability …
Semantic Web: Promising Technologies And Current Applications In Health Care & Life Sciences, Amit P. Sheth
Semantic Web: Promising Technologies And Current Applications In Health Care & Life Sciences, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Efficient Computation Of Iceberg Cubes By Bounding Aggregate Functions, Xiuzhen Zhang, Pauline Lienhua Chou, Guozhu Dong
Efficient Computation Of Iceberg Cubes By Bounding Aggregate Functions, Xiuzhen Zhang, Pauline Lienhua Chou, Guozhu Dong
Kno.e.sis Publications
The iceberg cubing problem is to compute the multidimensional group-by partitions that satisfy given aggregation constraints. Pruning unproductive computation for iceberg cubing when nonantimonotone constraints are present is a great challenge because the aggregate functions do not increase or decrease monotonically along the subset relationship between partitions. In this paper, we propose a novel bound prune cubing (BP-Cubing) approach for iceberg cubing with nonantimonotone aggregation constraints. Given a cube over n dimensions, an aggregate for any group-by partition can be computed from aggregates for the most specific n--dimensional partitions (MSPs). The largest and smallest aggregate values computed this way become …
Semantics To Energize The Full Services Spectrum: Ontological Approach To Better Exploit Services At Technical And Business Levels, Amit P. Sheth
Semantics To Energize The Full Services Spectrum: Ontological Approach To Better Exploit Services At Technical And Business Levels, Amit P. Sheth
Kno.e.sis Publications
Services are pervasive in today’s economic landscape, and services- based architectures are being rapidly adopted as IT infrastructure. The need to take a broader perspective of services to include people and organizational descriptions as opposed to technical interface descriptions has already been recognized as part of an overall vision of services science [46, 100]. This article describes the Semantic Services Science (3S) model, which seeks to demonstrate the essential benefits of semantics in view of the broader vision of services science by using service descriptions that capture technical, human, organizational, and business value aspects. We assert that ontology-based semantic modeling …
Near-Duplicate Keyframe Retrieval With Visual Keywords And Semantic Context, Xiao Wu, Wan-Lei Zhao, Chong-Wah Ngo
Near-Duplicate Keyframe Retrieval With Visual Keywords And Semantic Context, Xiao Wu, Wan-Lei Zhao, Chong-Wah Ngo
Research Collection School Of Computing and Information Systems
Near-duplicate keyframes (NDK) play a unique role in large-scale video search, news topic detection and tracking. In this paper, we propose a novel NDK retrieval approach by exploring both visual and textual cues from the visual vocabulary and semantic context respectively. The vocabulary, which provides entries for visual keywords, is formed by the clustering of local keypoints. The semantic context is inferred from the speech transcript surrounding a keyframe. We experiment the usefulness of visual keywords and semantic context, separately and jointly, using cosine similarity and language models. By linearly fusing both modalities, performance improvement is reported compared with the …
Efficient Near-Duplicate Keyframe Retrieval With Visual Language Models, Xiao Wu, Wan-Lei Zhao, Chong-Wah Ngo
Efficient Near-Duplicate Keyframe Retrieval With Visual Language Models, Xiao Wu, Wan-Lei Zhao, Chong-Wah Ngo
Research Collection School Of Computing and Information Systems
Near-duplicate keyframe retrieval is a critical task for video similarity measure, video threading and tracking. In this paper, instead of using expensive point-to-point matching on keypoints, we investigate the visual language models built on visual keywords to speed up the near-duplicate keyframe retrieval. The main idea is to estimate a visual language model on visual keywords for each keyframe and compare keyframes by the likelihood of their visual language models. Experiments on a subset of TRECVID-2004 video corpus show that visual language models built on visual keywords demonstrate promising performance for near-duplicate keyframe retrieval, which greatly speed up the retrieval …
Appraisal - Who Needs It?, M. Thulasidas
Appraisal - Who Needs It?, M. Thulasidas
Research Collection School Of Computing and Information Systems
WE GO through this ordeal every year when our boss- es appraise our performance. Our career progression, bonus and salary depend on it. So, we spend sleepless nights agonising over it.
Cross-Lingual Query Suggestion Using Query Logs Of Different Languages, Wei Gao, Cheng Niu, Jian-Yun Nie, Ming Zhou, Jian Hu, Kam-Fai Wong, Hsiao-Wuen Hon
Cross-Lingual Query Suggestion Using Query Logs Of Different Languages, Wei Gao, Cheng Niu, Jian-Yun Nie, Ming Zhou, Jian Hu, Kam-Fai Wong, Hsiao-Wuen Hon
Research Collection School Of Computing and Information Systems
Query suggestion aims to suggest relevant queries for a given query, which help users better specify their information needs. Previously, the suggested terms are mostly in the same language of the input query. In this paper, we extend it to cross-lingual query suggestion (CLQS): for a query in one language, we suggest similar or relevant queries in other languages. This is very important to scenarios of cross-language information retrieval (CLIR) and cross-lingual keyword bidding for search engine advertisement. Instead of relying on existing query translation technologies for CLQS, we present an effective means to map the input query of one …
Is Interpersonal Trust A Necessary Condition For Organisational Learning?, Siu Loon Hoe
Is Interpersonal Trust A Necessary Condition For Organisational Learning?, Siu Loon Hoe
Research Collection School Of Computing and Information Systems
The organisational behaviour and management literature has devoted a lot attention on various factors affecting organisational learning. While there has been much work done to examine trust in promoting organisational learning, there is a lack of consensus on the specific type of trust involved. The purpose of this paper is to highlight the importance of interpersonal trust in promoting organisational learning and propose a research agenda to test the extent of interpersonal trust on organisational learning. This paper contributes to the existing organisational learning literature by specifying a specific form of trust, interpersonal trust, which promotes organisational learning and proposing …
An Empirical Study On Large-Scale Content-Based Image Retrieval, Yuk Man Wong, Steven C. H. Hoi, Michael R. Lyu
An Empirical Study On Large-Scale Content-Based Image Retrieval, Yuk Man Wong, Steven C. H. Hoi, Michael R. Lyu
Research Collection School Of Computing and Information Systems
One key challenge in content-based image retrieval (CBIR) is to develop a fast solution for indexing high-dimensional image contents, which is crucial to building large-scale CBIR systems. In this paper, we propose a scalable content-based image retrieval scheme using locality-sensitive hashing (LSH), and conduct extensive evaluations on a large image testbed of a half million images. To the best of our knowledge, there is less comprehensive study on large-scale CBIR evaluation with a half million images. Our empirical results show that our proposed solution is able to scale for hundreds of thousands of images, which is promising for building Web-scale …
Learning Causal Models For Noisy Biological Data Mining: An Application To Ovarian Cancer Detection, Ghim-Eng Yap, Ah-Hwee Tan, Hwee Hwa Pang
Learning Causal Models For Noisy Biological Data Mining: An Application To Ovarian Cancer Detection, Ghim-Eng Yap, Ah-Hwee Tan, Hwee Hwa Pang
Research Collection School Of Computing and Information Systems
Undetected errors in the expression measurements from highthroughput DNA microarrays and protein spectroscopy could seriously affect the diagnostic reliability in disease detection. In addition to a high resilience against such errors, diagnostic models need to be more comprehensible so that a deeper understanding of the causal interactions among biological entities like genes and proteins may be possible. In this paper, we introduce a robust knowledge discovery approach that addresses these challenges. First, the causal interactions among the genes and proteins in the noisy expression data are discovered automatically through Bayesian network learning. Then, the diagnosis of a disease based on …
On Searching Continuous Nearest Neighbors In Wireless Data Broadcast Systems, Baihua Zheng, Wang-Chien Lee, Dik Lun Lee
On Searching Continuous Nearest Neighbors In Wireless Data Broadcast Systems, Baihua Zheng, Wang-Chien Lee, Dik Lun Lee
Research Collection School Of Computing and Information Systems
A continuous nearest neighbor (CNN) search, which retrieves the nearest neighbors corresponding to every point in a given query line segment, is important for location-based services such as vehicular navigation and tourist guides. It is infeasible to answer a CNN search by issuing a traditional nearest neighbor query at every point of the line segment due to the large number of queries generated and the overhead on bandwidth. Algorithms have been proposed recently to support CNN search in the traditional client-server systems but not in the environment of wireless data broadcast, where uplink communication channels from mobile devices to the …
Discovering And Exploiting Causal Dependencies For Robust Mobile Context-Aware Recommenders, Ghim-Eng Yap, Ah-Hwee Tan, Hwee Hwa Pang
Discovering And Exploiting Causal Dependencies For Robust Mobile Context-Aware Recommenders, Ghim-Eng Yap, Ah-Hwee Tan, Hwee Hwa Pang
Research Collection School Of Computing and Information Systems
Acquisition of context poses unique challenges to mobile context-aware recommender systems. The limited resources in these systems make minimizing their context acquisition a practical need, and the uncertainty in the mobile environment makes missing and erroneous context inputs a major concern. In this paper, we propose an approach based on Bayesian networks (BNs) for building recommender systems that minimize context acquisition. Our learning approach iteratively trims the BN-based context model until it contains only the minimal set of context parameters that are important to a user. In addition, we show that a two-tiered context model can effectively capture the causal …
Analyzing Feature Trajectories For Event Detection, Qi He, Kuiyu Chang, Ee Peng Lim
Analyzing Feature Trajectories For Event Detection, Qi He, Kuiyu Chang, Ee Peng Lim
Research Collection School Of Computing and Information Systems
We consider the problem of analyzing word trajectories in both time and frequency domains, with the specific goal of identifying important and less-reported, periodic and aperiodic words. A set of words with identical trends can be grouped together to reconstruct an event in a completely un-supervised manner. The document frequency of each word across time is treated like a time series, where each element is the document frequency - inverse document frequency (DFIDF) score at one time point. In this paper, we 1) first applied spectral analysis to categorize features for different event characteristics: important and less-reported, periodic and aperiodic; …
Continuous Medoid Queries Over Moving Objects, Stavros Papadopoulos, Dimitris Sacharidis, Kyriakos Mouratidis
Continuous Medoid Queries Over Moving Objects, Stavros Papadopoulos, Dimitris Sacharidis, Kyriakos Mouratidis
Research Collection School Of Computing and Information Systems
In the k-medoid problem, given a dataset P, we are asked to choose kpoints in P as the medoids. The optimal medoid set minimizes the average Euclidean distance between the points in P and their closest medoid. Finding the optimal k medoids is NP hard, and existing algorithms aim at approximate answers, i.e., they compute medoids that achieve a small, yet not minimal, average distance. Similarly in this paper, we also aim at approximate solutions. We consider, however, the continuous version of the problem, where the points in P move and our task is to maintain the medoid set on-the-fly …
Quo Vadis, Cs? – On The (Non)-Impact Of Conceptual Structures On The Semantic Web, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler
Quo Vadis, Cs? – On The (Non)-Impact Of Conceptual Structures On The Semantic Web, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, while the latter is an area of research and development which is rapidly expanding in recent years, the former fails to participate in these developments on a large scale. In this paper, we attempt to stimulate the Conceptual Structures community to catch the Semantic Web train.
A Semantic Framework For Identifying Events In A Service Oriented Architecture, Karthik Gomadam, Ajith Harshana Ranabahu, Lakshmish Ramaswamy, Amit P. Sheth, Kunal Verma
A Semantic Framework For Identifying Events In A Service Oriented Architecture, Karthik Gomadam, Ajith Harshana Ranabahu, Lakshmish Ramaswamy, Amit P. Sheth, Kunal Verma
Kno.e.sis Publications
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related research focuses on adapting to events that violate certain non-functional objectives of the service requestor. Given the large of number of events that can happen during the execution of a service, identifying events that can impact the non-functional objectives of a service request is a key challenge. To address this problem we propose an approach that allows service requestors to create semantically rich service requirement descriptions, called semantic templates. We propose a formal model for expressing …
Continuous Monitoring Of Top-K Queries Over Sliding Windows, Kyriakos Mouratidis, Spiridon Bakiras, Dimitris Papadias
Continuous Monitoring Of Top-K Queries Over Sliding Windows, Kyriakos Mouratidis, Spiridon Bakiras, Dimitris Papadias
Research Collection School Of Computing and Information Systems
Given a dataset P and a preference function f, a top-k query retrieves the k tuples in P with the highest scores according to f. Even though the problem is well-studied in conventional databases, the existing methods are inapplicable to highly dynamic environments involving numerous long-running queries. This paper studies continuous monitoring of top-k queries over a fixed-size window W of the most recent data. The window size can be expressed either in terms of the number of active tuples or time units. We propose a general methodology for top-k monitoring that restricts processing to the sub-domains of the workspace …
An Examination Of Online Product Comparison Service: Fit Between Product Type And Disposition Style, Fiona Fui-Hoon Nah, W. Hong, L. Chen, H. Lee
An Examination Of Online Product Comparison Service: Fit Between Product Type And Disposition Style, Fiona Fui-Hoon Nah, W. Hong, L. Chen, H. Lee
Research Collection School Of Computing and Information Systems
Horizontal and vertical disposition styles are two main formats used in product comparison service on e-commerce websites. In this research, we hypothesize that there is a fit between product type (‘think’ vs. ‘feel’ product) and disposition style (horizontal vs. vertical style), where horizontal disposition style is more appropriate for ‘feel’ products and vertical disposition style is a better fit for ‘think’ products. An experiment will be carried out to test the hypotheses.
Relationship Web: Realizing The Memex Vision With The Help Of Semantic Web, Amit P. Sheth
Relationship Web: Realizing The Memex Vision With The Help Of Semantic Web, Amit P. Sheth
Kno.e.sis Publications
Relationship Web takes us from "which document" could have information I need to "what's in the resources" that gives me the insight and knowledge I need for decision making. Dr. Vannevar Bush outlined his vision for Memex in a 1945 Atlantic Monthly article [1]. Describing how the human brain navigates an information space in what he called trailblazing, Dr. Bush said, "It operates by association. With one item in its grasp, it snaps instantly to the next that is suggested by the association of thoughts, in accordance with some intricate web of trails carried by the cells of the brain." …
Semantics To Empower Services Science: Using Semantics At Middleware, Web Services And Business Levels, Amit P. Sheth
Semantics To Empower Services Science: Using Semantics At Middleware, Web Services And Business Levels, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Methods And System For Equalizing Data In Multicarrier Receiver Systems, Richard K. Martin, Jaiganesh Balakrishnan, Wonzoo Chung, C. Richard Johnson
Methods And System For Equalizing Data In Multicarrier Receiver Systems, Richard K. Martin, Jaiganesh Balakrishnan, Wonzoo Chung, C. Richard Johnson
AFIT Patents
A method for equalizing data and systems utilizing the method. The method of this invention for equalizing (by shortening the channel response) data includes minimizing a function of the data and a number of equalizer characteristic parameters, where the function utilizes cyclic differences of equalized data. Updated equalizer characteristic parameters are then obtained from the minimization and an initial set of equalizer characteristic parameters. Finally, the received data is processed utilizing the equalizer defined by the minimization. The method of this invention can be implemented in an equalizer and the equalizer of this invention may be included in a system …
Session 2 - Societal-Consciousness In The Computing Curricula: A Time For Serious Introspection, Daniel Moix, Srini Ramaswamy
Session 2 - Societal-Consciousness In The Computing Curricula: A Time For Serious Introspection, Daniel Moix, Srini Ramaswamy
International Symposium on Technology and Society
This paper addresses the growing need for inculcating appropriate ethics within the computing curriculum by fostering the development of a societally-conscious ethical framework among our students to address the use of information technology vis-à-vis government, business and society. We propose a new integrated model based approach (IDEA) and suggest its adoption to encourage students on reflecting upon the social and ethical ramifications of technology, beyond the narrow, project focused tunnel vision that currently (subliminally) exists in many computing curricula, and in particular, in today’s profit-focused, consulting and contract-based software industry.
Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan
Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan
Kno.e.sis Publications
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interfere with dynamic class loading and an online analysis must sacrifice precision for speed. We describe a technique that permits the safe use of aggressive, speculative offline escape analysis in programs potentially loading classes that violate the analysis results.
Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li
Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li
Computer Science and Engineering Faculty Publications
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm.