103,656 Hits in 3.3 sec

Decidable Reasoning in Terminological Knowledge Representation Systems

M. Buchheit, F. M. Donini, A. Schaerf
1993 The Journal of Artificial Intelligence Research  
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages).  ...  in ALCNR-knowledge bases.  ...  Introduction A general characteristic of many proposed Terminological Knowledge Representation Systems (TKRSs) such as kripton BPL85] , nikl KBR86 ], back QK90 ], loom MB87] , classic  ... 
doi:10.1613/jair.21 fatcat:vnnz566etzaxjmnclawx2gkxfy

Decidable Reasoning in Terminological Knowledge Representation Systems [article]

M. Buchheit, F. M. Donini, A. Schaerf
1993 arXiv   pre-print
Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages).  ...  in ALCNR-knowledge bases.  ...  We thank also the anonymous reviewers, whose stimulating comments helped us in improving on the submitted version.  ... 
arXiv:cs/9312101v1 fatcat:l6zppfp22vgwzheyexjo5pzdqe

A decidable first-order logic for knowledge representation

PeterF. Patel-Schneider
1990 Journal of automated reasoning  
Even though logic has played an important role in knowledge representation (KR) research, there has been little effort expended on devising decidable logics for KR.  ...  Although this logic is considerably weaker than standard first-order logic, it can be used effectively in a KR system when semantically correct answers to queries are required within a finite amount of  ...  A wrinkle in developing terminological reasoners for this new logic is determining which language to use.  ... 
doi:10.1007/bf00244354 fatcat:ycrxq3waazbzfddotua3ntsl4y

Page 3889 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
Nebel [Reasoning and revision in hybrid representation systems, Lecture Notes in Comput.  ...  (D-DFK12; Saarbriicken) Terminological reasoning with knowledge and belief.  ... 

A New Distributed Expert System to Ontology Evaluation

Djellali Choukri
2014 Procedia Computer Science  
In the present study, we propose a new approach that uses a reasoning tool as distributed expert system based on symbolic structures of facts and rules.  ...  The evaluation is based on formal system defined in description logic SHOIN.  ...  In each of these components, knowledges are declared in the form of rules and facts. The rules are related to the terminology reasoning operations (subsumption and instantiation).  ... 
doi:10.1016/j.procs.2014.08.011 fatcat:zaywqpfvdrdxbb4ojdxvqn3jyi

Term Subsumption Languages in Knowledge Representation

Peter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen
1990 The AI Magazine  
Previous workshops have had a slightly narrower focus, being explicitly concerned with KL-One, the first knowledge representation system based on a term subsumption language (TSL), or its successor, NIKL  ...  This workshop was the latest in a series in this area.  ...  the knowledge representation system.  ... 
doi:10.1609/aimag.v11i2.835 dblp:journals/aim/Patel-SchneiderOKGMMMNSY90 fatcat:g5aoa5gxkbhshfmpmkycttgphe

Page 5144 of Mathematical Reviews Vol. , Issue 92i [page]

1992 Mathematical Reviews  
Research in knowledge representation has led to the development of terminological representation languages, which are based on at- tributive concept descriptions.  ...  In this paper, the authors investigate the consequences of adding unions and complements to attribu- tive concept descriptions employed in terminological knowledge representation languages.  ... 

Page 4915 of Mathematical Reviews Vol. , Issue 95h [page]

1995 Mathematical Reviews  
(I-ROME-I; Rome); Schaerf, Andrea (I-ROME-I; Rome) Decidable reasoning in terminological knowledge representation systems. (English summary) J. Artificial Intelligence Res. 1 (1993/94), 109-138.  ...  calculus for reasoning in ALCNR-knowledge bases.  ... 

Hybrid Systems for Knowledge Representation in Artificial Intelligence

Rajeswari P.V, Dr. T.
2012 International Journal of Advanced Research in Artificial Intelligence (IJARAI)  
There are few knowledge representation (KR) techniques available for efficiently representing knowledge. However, with the increase in complexity, better methods are needed.  ...  In an effort to construct an intelligent computer system, a primary consideration is to represent large amounts of knowledge in a way that allows effective use and efficiently organizing information to  ...  KL-TWO The KL-TWO system is composed by two sub formalisms: PENNI, a modified version of the RUP (Reasoning Utility Package) system) and NIKL (New implementation of KL-ONE), a terminological reasoner in  ... 
doi:10.14569/ijarai.2012.010806 fatcat:2xstwrasnvazbew6t6w4dtsfze

An empirical analysis of terminological representation systems

Jochen Heinsohn, Daniel Kudenko, Bernhard Nebel, Hans-Jürgen Profitlich
1994 Artificial Intelligence  
The family of terminological representation systems has its roots in the representation system kl-one.  ...  These ndings complement previously reported analytical results about the computational complexity of reasoning in such systems.  ...  ., WINO at DFKI, LOOM at USC/ISI, MESON at Philips Research Laboratories, and XTRA at the University of Saarland, for making their systems and/or knowledge bases available to us, answering questions about  ... 
doi:10.1016/0004-3702(94)90071-x fatcat:7gqyfmdkfrephhgzxodspgxqme

Page 1817 of Mathematical Reviews Vol. , Issue 96c [page]

1996 Mathematical Reviews  
Reason. 14 (1995), no. 1, 149-180. Summary: “We consider the problem of integrating Reiter’s de- fault logic into terminological representation systems.  ...  knowledge representation formalisms.  ... 

Reasoning and change management in modular ontologies

Heiner Stuckenschmidt, Michel Klein
2007 Data & Knowledge Engineering  
In this paper, we concentrate on the benefits of modular ontologies with respect to local containment of terminological reasoning.  ...  The benefits of modular representations are well known from many areas of computer science.  ...  While the principle of modularity has widely been adopted in software engineering it has got less attention in the area of knowledge representation and reasoning.  ... 
doi:10.1016/j.datak.2007.02.001 fatcat:o4jh7wlfbrcmlfx27ydvfso6aq

On the design of an expert help system for computer algebra systems

R. P. dos Santos, W. L. Roque
1990 ACM SIGSAM Bulletin  
Technically, Smart Help is a Production System on the top of a particular implementation of MANTRA, a hybrid knowledge representation system, which has REDUCE integrated as an additional knowledge representation  ...  Since the heuristic level of MANTRA has not yet been implemented, being presently represented by the Lisp language itself, Smart Help is coded in Lisp and resides in the same Lisp session of MANTRA.  ...  Since the hybrid knowledge representation system (KRS) MANTRA [6] can be seen as a knowledge representation shell, one could make use of its (formal) reasoning facilities to build the Smart Help system  ... 
doi:10.1145/101108.101110 fatcat:lscr752jo5dsljpatsos2h7ulq

Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture [chapter]

Rolf Grütter, Bettina Bauer-Messmer
2007 Lecture Notes in Geoinformation and Cartography  
In this paper we propose a hybrid knowledge representation system architecture which integrates terminological and spatial aspects of the application domain and provides support for reasoning with RCC,  ...  In order to make them accessible also to non-expert users, terminological concepts and spatial relations must be represented in a way that they can be exploited for searches.  ...  This research has been funded and conducted in cooperation with the Swiss Federal Office for the Environment (FOEN).  ... 
doi:10.1007/978-3-540-72385-1_21 fatcat:wwdhgel3pne4peotr773d2e4ci

Representation and reasoning with attributive descriptions [chapter]

Bernhard Nebel, Gert Smolka
1990 Lecture Notes in Computer Science  
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of attributive description formalisms  ...  As we have seen in the previous section, subsumption determination is the central operation in a terminological knowledge representation system.  ...  Since a terminological representation system is supposed to provide its computational services in reasonable time, this is an unacceptable state of affairs.  ... 
doi:10.1007/3-540-52337-6_21 fatcat:b6yn2rbr2jafph76bvo3bteg4u
« Previous Showing results 1 — 15 out of 103,656 results