We present a novel procedure FixIt(ALC) for deciding knowledge base satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured models as in tableau-based proof procedures, but embodies a fixpoint-computation of canonical models that are not necessarily tree-structured. Conceptually, the procedure is based on a type-elimination process. Soundness, com...

We present ANGIE, a system that can answer user queries by combining knowledge from a local database with knowledge retrieved from Web services. If a user poses a query that cannot be answered by the local database alone, ANGIE calls the appropriate Web services to retrieve the missing information. In ANGIE, Web services act as dynamic components of the knowledge base that deliver knowledge on ...

“In an ill-structured domain you cannot, by definition, have a pre-compiled schema in your mind for every circumstance and context you may find ... you must be able to flexibly select and arrange knowledge sources to most efficaciously pursue the needs of a given situation.” [57] In order to interact and collaborate effectively, agents, whether human or software, must be able to communicate thr...

Recent trend in question answering (QA) systems focuses on using structured knowledge bases (KBs) to find answers. While these systems are able to provide more precise answers than information retrieval (IR) based QA systems, the natural incompleteness of KB inevitably limits the question scope that the system can answer. In this paper, we present a hybrid question answering (hybrid-QA) system ...

We present the concept of a Question-Answering System for providing knowledge services. The system is based on a rice production and rice disease textual database which has been structured according to a number of ontological conceptual functions, and associated annotations. In this paper, the rich lexical knowledge is utilized for identifying semantic roles in a question, connecting with the d...

Understanding how humans manage information and carry out actions provides a foundation for the software engineering of intelligent control systems. The Real-time Control System (RCS) design methodology and reference architecture, founded on human information management concepts, provides a domain independent approach to the acquisition and representation of expert knowledge and supports implem...

Representing the knowledge of driving environments in a structured machine-readable format is necessary for safe autonomous driving. We use ontologies to represent the knowledge of maps, driving paths, and driving environments to improve safety for smart vehicles. In this paper, we introduce core ontologies that are used for developing Advanced Driver Assistance Systems. The ontologies can be r...

Lexical knowledge plays a vital role for systems translating between natural language and structured data, and an important part of such lexical knowledge are adjectives. In this paper we introduce a low-cost method for automatically acquiring adjective lexicalizations of restriction classes from a knowledge base by inspecting the range of properties. The resulting lexicalizations can then, for...