Introduction to artificial intelligence
Introduction to artificial intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Integrating a knowledge acquisition tool, an expert system shell, and a hypermedia system
International Journal of Expert Systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
IEEE Transactions on Software Engineering
A situated classification solution of a resource allocation task represented in a visual language
International Journal of Human-Computer Studies
Concept maps as hypermedia components
International Journal of Human-Computer Studies - Special issue: knowledge-based hypermedia
Advances in knowledge discovery and data mining
Embedding formal knowledge models in active documents
Communications of the ACM
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
An overview of computational complexity
Communications of the ACM
A machine program for theorem-proving
Communications of the ACM
Knowledge entry as the graphical assembly of components
Proceedings of the 1st international conference on Knowledge capture
Introduction to Default Logic
Eliciting Knowledge and Transferring It Effectively to a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The description logic handbook
A Framework for Representing Knowledge
A Framework for Representing Knowledge
Description logics with aggregates and concrete domains
Information Systems
Cognitive support for ontology modeling
International Journal of Human-Computer Studies - Protégé: community is everything
Collaborative knowledge capture in ontologies
Proceedings of the 3rd international conference on Knowledge capture
Semiology of graphics
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A volcano erupts: semantically mediated integration of heterogeneous volcanic and atmospheric data
Proceedings of the ACM first workshop on CyberInfrastructure: information management in eScience
The model evolution calculus as a first-order DPLL method
Artificial Intelligence
Reasoning within extended fuzzy description logic
Knowledge-Based Systems
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology design patterns for semantic web content
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Visualizing knowledge and information: an introduction
Knowledge and Information Visualization
Tools for representing problems and the knowledge required to solve them
Knowledge and Information Visualization
Visualizing the semantics (not the syntax) of concept descriptions
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Usability of a visual language for DL concept descriptions
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Knowledge capture through the millennia: from cuneiform to the semantic web
Proceedings of the sixth international conference on Knowledge capture
Knowledge acquisition: Past, present and future
International Journal of Human-Computer Studies
Hi-index | 0.00 |
Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic.