Abstract
Knowledge engineering often involves the development of modeling tools and inference mechanisms (both standard and non-standard) which are targeted for use in practical applications, where expressiveness in representation must be traded off for efficiency in use. Some representative examples of such applications would be the structuring and querying of knowledge on the semantic web, or the representation and querying of epistemic states used with softbots, robots or smart devices. In these application areas, declarative representations of knowledge enhance the functionality of such systems and also provide a basis for insuring the pragmatic properties of modularity and incremental composition. On the other hand, the mechanisms developed should be tractable, but at the same time, expressive enough to represent such aspects as default reasoning, or approximate or incomplete representations of the environments in which the entities in question are embedded or used, be they virtual or actual.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this chapter
Cite this chapter
Doherty, P., Łukaszewicz, W., Skowron, A., Szałas, A. (2006). CAKE: Computer Aided Knowledge Engineering. In: Knowledge Representation Techniques. Studies in Fuzziness and Soft Computing, vol 202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33519-6_9
Download citation
DOI: https://doi.org/10.1007/3-540-33519-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33518-4
Online ISBN: 978-3-540-33519-1
eBook Packages: EngineeringEngineering (R0)