395 search results - page 22 / 79 » Development of a formal REA-ontology Representation |
ICFCA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
101
click to vote
IJCAI
2003
15 years 1 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
100
click to vote
ANLP
1997
15 years 1 months ago
1997
We describe an annotation scheme and a tool developed for creating linguistically annotated corpora for non-configurational languages. Since the requirements for such a formalism ...
125
click to vote
MKM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
108
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Aligning ontologies is a crucial and tedious task. Matching algorithms and tools provide support to facilitate the task of the user in defining correspondences between ontologies ...