Abstract | ||
---|---|---|
This paper contains a proposal for a terminological logic. The formalisms forrepresenting knowledge as well as the needed inferences are described.1 IntroductionAn important aspect of intelligence is the use of existing knowledge. In order to realizethis in AI-Systems we need both adequate methods to represent knowledge and effectiveprocedures to retrieve and reuse the needed knowledge. One of the basic mechanisms ofhuman knowledge representation and processing is the division of the... |
Year | Venue | Keywords |
---|---|---|
1991 | Description Logics | knowledge representation |
Field | DocType | Citations |
Knowledge representation and reasoning,Computer science,Artificial intelligence,Natural language processing,Rotation formalisms in three dimensions | Conference | 30 |
PageRank | References | Authors |
13.30 | 4 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
franz baader | 1 | 31 | 13.66 |
hansjurgen burckert | 2 | 30 | 13.30 |
Jochen Heinsohn | 3 | 145 | 41.56 |
Bernhard Hollunder | 4 | 795 | 148.43 |
jurgen muller | 5 | 30 | 13.30 |
Bernhard Nebel | 6 | 4019 | 565.71 |
Werner Nutt | 7 | 2009 | 395.43 |
hansjurgen profitlich | 8 | 191 | 48.15 |