Knowledge representation and reasoning
Semantic Scholar uses AI to extract papers important to this topic.
RacerPro is a software system for building applications based on ontologies. The backbone of RacerPro is a description logic… Expand Publisher Summary Early attempts at qualitative spatial reasoning within the qualitative reasoning (QR) community led to the… Expand Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive… Expand Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or… Expand Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and their… Expand The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of… Expand Abstract The purpose of this paper is to defend the systematic introduction of formal ontological principles in the current… Expand A fuzzy Petri net model (FPN) is presented to represent the fuzzy production rule of a rule-based system in which a fuzzy… Expand A fundamental computational limit on automated reasoning and its effect on knowledge representation is examined. Basically, the… Expand