Computer Science – Artificial Intelligence
Scientific paper
2011-05-27
Journal Of Artificial Intelligence Research, Volume 10, pages 399-434, 1999
Computer Science
Artificial Intelligence
Scientific paper
10.1613/jair.584
This paper offers an approach to extensible knowledge representation and reasoning for a family of formalisms known as Description Logics. The approach is based on the notion of adding new concept constructors, and includes a heuristic methodology for specifying the desired extensions, as well as a modularized software architecture that supports implementing extensions. The architecture detailed here falls in the normalize-compared paradigm, and supports both intentional reasoning (subsumption) involving concepts, and extensional reasoning involving individuals after incremental updates to the knowledge base. The resulting approach can be used to extend the reasoner with specialized notions that are motivated by specific problems or application areas, such as reasoning about dates, plans, etc. In addition, it provides an opportunity to implement constructors that are not currently yet sufficiently well understood theoretically, but are needed in practice. Also, for constructors that are provably hard to reason with (e.g., ones whose presence would lead to undecidability), it allows the implementation of incomplete reasoners where the incompleteness is tailored to be acceptable for the application at hand.
No associations
LandOfFree
Extensible Knowledge Representation: the Case of Description Reasoners does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Extensible Knowledge Representation: the Case of Description Reasoners, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Extensible Knowledge Representation: the Case of Description Reasoners will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-664480