Lenat, D.B. and Guha, R.V. 1990 Building large knowledge based systems. Addison-Wesley, Reading Massachusetts Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
.... in another medical terminology application using the comparatively inexpressive DL a rather complex work around is performed in order to represent similar propagations [Schulz and Hahn, 2001] Similar expressiveness was also provided in the CycL language by the transfersThro statement [Lenat and Guha, 1989] . It is quite straightforward to extend so that this kind of propagation can be expressed: simply allow for role inclusion axioms of the form R#S P , which then enforces all models to interpret the composition of R I with S I as a sub relation of P I . e.g. the above examples translate ....
D. B. Lenat and R. V. Guha. Building Large Knowledge-Based Systems. Addison Wesley, 1989.
Design of a Process Ontology: - Aitken, Curtis (Correct)
....a new collection to represent the event type. This paper describes an ontology for process representation which allows processes to be described purely at the type level. The semantics of these relations is expressed in terms of more primitive event to object relations in the Cyc on tology[6, 7]. A similar semantics in terms of the Process Specification Language (PSL) 11] types and relations has also been developed in the course of this work showing the (relative) independence of the type level and the ground level. The process ontology aims to provide a concise set of useful ....
Lenat, D.B. and Guha, R.V. Building large knowledge-based systems. Representation and inference in the Cyc project. Addison-Wesley, Reading, Massachusetts, 1990.
On the Refinement of Ontologies - Grigoris Antoniou And (2000) (1 citation) (Correct)
....be enrolled in at least one course ) As [17] points out, while the purpose of an ontology is to define terminology, the form of an ontology is that of a knowledge base or database conceptual schema. Since ontologies are usually represented in logic fiavoured languages (such as KIF [4] and CycL [10]) in this paper we will often view an ontology as a first order theory. It is instructive to see how taxonomic information can be represented in logic. Consider the tree in Figure I (all figures are presented at the end of this paper) which represents classes of staff in the School of CIT at ....
D.B. Lenat and R.V. Guha. Building Large Knowledge-based Systems, AddisonWesley 1990.
Terminology and the Construction of Ontology - Lee Gillam Mariam (Correct)
No context found.
Lenat, D.B. and Guha, R.V. 1990 Building large knowledge based systems. Addison-Wesley, Reading Massachusetts
First-Orderized ResearchCyc: Expressivity and.. - Ramachandran.. (Correct)
No context found.
Lenat, D., and Guha, R. 1990. Building Large Knowledge Based Systems. Reading, Mass.: Addison Wesley.
Analogical Reasoning with a Synergy of WordNet and HowNet - Hyesook Kim School (2006) (Correct)
No context found.
Lenat, D., Guha, R.V. (1990). Building Large Knowledge-Based Systems. Addison Wesley.
Analogy as Functional Recategorization: Abstraction with HowNet.. - Veale (2005) (Correct)
No context found.
Lenat, D., Guha, R.V.: Building Large Knowledge-Based Systems. Addison Wesley (1990)
Analogy as Functional Recategorization: A Perspective from HowNet - Veale (2005) (Correct)
No context found.
Lenat, D., Guha, R.V.: Building Large Knowledge-Based Systems. Addison Wesley (1990)
Legal Knowledge Based Systems - Jurix The Relation (Correct)
No context found.
D. B. Lenat and R. V. Guha. Building large knowledge#based systems. Representation and in# ference in the Cyc project. Addison#Wesley# Reading# Massachusetts# 1990.
Unweaving the Analogical Rainbow - With Lightweight Lexical (2004) (Correct)
No context found.
Lenat, D. and Guha, R. V. Building Large Knowledge-based systems. Addison Wesley. 1990.
Qualia Extraction and Creative Metaphor in WordNet - Veale (2003) (Correct)
No context found.
Lenat, D., Guha, R.V.: Building Large Knowledge-Based Systems. Addison Wesley (1990)
Pathways to Creativity in Lexical Ontologies - Veale (2004) (Correct)
No context found.
Lenat, D., Guha, R.V.: Building Large Knowledge-Based Systems. Addison Wesley (1990)
Dynamic Type Creation in Metaphor Interpretation and Analogical.. - Veale (2003) (3 citations) (Correct)
No context found.
Lenat, D., Guha, R.V.: Building Large Knowledge-Based Systems. Addison Wesley (1990)
Systematicity and the Lexicon in Creative Metaphor - Veale (2003) (Correct)
No context found.
Douglas B. Lenat, R. V. Guha. Building Large Knowledge-Based Systems. Addison Wesley: Reading, MA, 1990.
Bounded Model Property for Multi-Context Sytems - Roelofsen (2004) (Correct)
No context found.
D. B. Lenat and R. V. Guha. Building Large Knowledge Based Systems. Addison Wesley, 1990.
Pathways to Creativity in Lexical Ontologies - Veale (2004) (Correct)
No context found.
Lenat, D., Guha, R. V.: Building Large Knowledge-Based Systems. Addison Wesley (1990).
Natural Language Generation for English to Hindi.. - Rao, Bhattacharya.. (1998) (Correct)
No context found.
Lenat DB and Guha RV. Building Large Knowledge-Based Systems. Addison Wesley, Reading, MA, USA, 1990.
Creation of English and Hindi Verb Hierarchies - And Their Application (2004) (Correct)
No context found.
Lenat D. B. and Guha R. V., Building Large Knowledge Based System, Representation and Inference in the CYC Project. Reading, Mass: Addison Wesley, 1990. http://www.cyc.com
News and Trading Rules - Thomas (2003) (Correct)
No context found.
D. B. Lenat and R. V. Guha. Building Large Knowledge-Based Systems. Addison-Wesley: Reading, MA, 1990.
Deploying Ontologies in Software Design - Kalfoglou (2000) (Correct)
No context found.
D.B. Lenat and R.V. Guha. Building large knowledge-based systems. Representation and inference in the Cyc project. Addison-Wesley, Reading, Massachusetts, 1990.
Ontologies, Knowledge Bases - And Knowledge Management (Correct)
No context found.
D.B. Lenat and R.V. Guha. Building large knowledge-based systems. Representation and inference in the Cyc project. Addison-Wesley, Reading, Massachusetts, 1990.
A Roadmap to Ontology Specification Languages - Oscar Corcho Asuncin (2000) (2 citations) (Correct)
No context found.
Lenat, D.B., Guha, R.V. Building Large Knowledge-based systems. Representation and Inference in the Cyc Project. Addison-Wesley. Reading. Massachusetts. 1990.
Developing Consensus - Ontologies For The (Correct)
No context found.
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems, Addison-Wesley, Reading, MA, 1990, http://www.cyc.com.
Commonsense Aspects of Buying and Selling - Ersan, Ersan, Akman (Correct)
No context found.
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems (Representation and Inference in the Cyc Project), Addison-Wesley, Reading, MA, December 1989.
Reasoning with Output from Parsing Using World Knowledge - Hunter, Marten (2000) (Correct)
No context found.
D Lenat and R Guha. Building Large Knowledge-based Systems. Addison-Wesley, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC