25 search results - page 3 / 5 » Terminological Cycles in KL-ONE-based Knowledge Representati... |
SIGIR
1993
ACM
13 years 9 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...
AAAI
1990
13 years 6 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
ICFCA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
ACMDIS
2000
ACM
13 years 9 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
CAISE
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...