@article{brachman85klone, title = {An overview of the KL-ONE Knowledge Representation System}, author = {Ronald J. Brachman and James G. Schmolze}, journal = {Cognitive Science}, note = {http://www.cogsci.rpi.edu/CSJarchive/1985v09/i02/p0171p0216/MAIN.PDF}, number = {2}, pages = {171--216}, url = {http://www.sciencedirect.com/science/article/B6W48-4DXC46N-S/1/60b9d9d36d07bb395e7229a36183dcea}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/2e37005ab7e4c5b8ef10e6c6bfbcf58de/lolownia}, description = {ScienceDirect - Cognitive Science : An overview of the KL-ONE Knowledge Representation System*}, abstract = {KL-ONE is a system for representing knowledge in Artificial Intelligence programs. It has been developed and refined over a long period and has been used in both basic research and implemented knowledge-based systems in a number of places in the AI community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In addition to detailing all of KL-ONE's description-forming structures, we discuss a bit of the philosophy underlying the system, highlight notions of taxonomy and classification that are central to it, and include an extended example of the use of KL-ONE and its classifier in a recognition task. This research was supported in part by the Defense Advanced Research Projects Agency under Contract N00014-77-C-0378. Views and conclusions contained in this paper are the authors' and should not be interpreted as representing the official opinion or policy of DARPA, the U.S. Government, or any person or agency connected with them.}, keywords = {network semantic } } @article{brachman85klone, title = {An overview of the KL-ONE Knowledge Representation System}, author = {Ronald J. Brachman and James G. Schmolze}, journal = {Cognitive Science}, note = {http://www.cogsci.rpi.edu/CSJarchive/1985v09/i02/p0171p0216/MAIN.PDF}, number = {2}, pages = {171--216}, url = {http://www.sciencedirect.com/science/article/B6W48-4DXC46N-S/1/60b9d9d36d07bb395e7229a36183dcea}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/2e37005ab7e4c5b8ef10e6c6bfbcf58de/msn}, description = {ScienceDirect - Cognitive Science : An overview of the KL-ONE Knowledge Representation System*}, abstract = {KL-ONE is a system for representing knowledge in Artificial Intelligence programs. It has been developed and refined over a long period and has been used in both basic research and implemented knowledge-based systems in a number of places in the AI community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In addition to detailing all of KL-ONE's description-forming structures, we discuss a bit of the philosophy underlying the system, highlight notions of taxonomy and classification that are central to it, and include an extended example of the use of KL-ONE and its classifier in a recognition task. This research was supported in part by the Defense Advanced Research Projects Agency under Contract N00014-77-C-0378. Views and conclusions contained in this paper are the authors' and should not be interpreted as representing the official opinion or policy of DARPA, the U.S. Government, or any person or agency connected with them.}, keywords = {mrefs research.conceptual.graphs research.kr } } @article{klone, title = {An overview of the {KL-ONE} knowledge representation system}, author = {Ronald J. Brachman and James G. Schmolze}, journal = {Cognitive Science}, number = {2}, pages = {171--216}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/24f1d80d41a39b15fc9477ff2dd64e86f/nlp}, keywords = {2000 book nlp } } @article{journals/corr/abs-cs-0601032, title = {Efficient Open World Reasoning for Planning}, author = {Tamara Babaian and James G. Schmolze}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0601.html#abs-cs-0601032}, volume = {abs/cs/0601032}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/2ea20cec896438c06ed7ef942b19b5077/dblp}, description = {dblp}, ee = {http://arxiv.org/abs/cs/0601032}, date = {2008-01-02}, keywords = {dblp } } @inproceedings{conf/ijcai/SchmolzeL83, title = {Classification in the KL-ONE Knowledge Representation System.}, author = {James G. Schmolze and Thomas A. Lipkis}, booktitle = {IJCAI}, pages = {330-332}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai83.html#SchmolzeL83}, year = {1983}, biburl = {http://www.bibsonomy.org/bibtex/24e37a93774503911a58f5ab9d867f195/thau}, description = {dblp}, date = {2002-01-03}, keywords = {classification taxonomy } } @article{kl-one, title = {An Overview of the {KL-ONE} Knowledge Representation System}, author = {R. J. Brachman and J. G. Schmolze}, journal = {Cognitive Science}, number = {2}, pages = {171--216}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/28cfb52ad53de96c18a4d8ec154b7b8e9/ramaz}, owner = {Mauro}, timestamp = {2006.08.31}, keywords = {imported } } @article{KL-ONE, title = {An {O}verview of the {KL-ONE} {K}nowledge {R}epresentation {S}ystem}, author = {Ron J. Brachman and James G. Schmolze}, journal = {Cognitive Science}, number = {2}, pages = {171-216}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/23d59a70641053b86426d163c40a4ac75/zeno}, keywords = {1985 description-logic kl-one } } @article{journals/lmcs/BabaianS06, title = {Efficient Open World Reasoning for Planning.}, author = {Tamara Babaian and James G. Schmolze}, journal = {Logical Methods in Computer Science}, number = {3}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs2.html#BabaianS06}, volume = {2}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/2144d7272a0ad9d3fdc06ed37991d2cda/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.2168/LMCS-2(3:5)2006}, date = {2007-01-23}, keywords = {dblp } } @article{BrachmannSchmolze85, title = {An Overview of the {KL-ONE} Knowledge Representation System}, annote = {Nicht elektronisch verf{\"u}gbar}, author = {Ronald J. Brachmann and James G. Schmolze}, journal = {Cognitive Science}, month = {April}, number = {2}, pages = {171--202}, volume = {9}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/244ae089daba54dc7607119785e54b919/thorob67}, date-modified = {2005-12-16 14:14:57 +0100}, keywords = {Inheritance Knowledge Net, Network Representation, Semantic Structured } } @article{Bra85b, title = {An Overview of the {KL-ONE} Knowledge Representation System}, author = {R.J. Brachman and J.G. Schmolze}, journal = {Cognitive Science}, number = {9}, pages = {171 - 216}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/22f8e41ddf85077be8a1990dd082d2eb7/diana}, description = {The big one}, keywords = {imported } }