A rapid modeling tool for virtual prototypes

Cyre, Walling R.; Hess, J.; Gunawan, A.; Sojitra, R.

doi:10.1109/iwrsp.1999.779050

Cited by 3 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But it is much easier to translate a formal representation in any version of logic to controlled natural languages, to various kinds of graphics, and to executable specifications. Walling Cyre and his students have developed KE tools for mapping both the text and the diagrams from patent applications and similar documents to conceptual graphs (Cyre et al 1994(Cyre et al , 1997(Cyre et al , 1999. Then they implemented a scripting language for translating the CGs to circuit diagrams, block diagrams, and other graphic depictions.…”

Section: Extracting Logic From Languagementioning

confidence: 99%

Ontology, Metadata, and Semiotics

Sowa¹

2000

Lecture Notes in Computer Science

139

View full text Add to dashboard Cite

Abstract. The Internet is a giant semiotic system. It is a massive collection of Peirce's three kinds of signs: icons, which show the form of something; indices, which point to something; and symbols, which represent something according to some convention. But current proposals for ontologies and metadata have overlooked some of the most important features of signs. A sign has three aspects: it is (1) an entity that represents (2) another entity to (3) an agent. By looking only at the signs themselves, some metadata proposals have lost sight of the entities they represent and the agents -human, animal, or robot -which interpret them. With its three branches of syntax, semantics, and pragmatics, semiotics provides guidelines for organizing and using signs to represent something to someone for some purpose. Besides representation, semiotics also supports methods for translating patterns of signs intended for one purpose to other patterns intended for different but related purposes. This article shows how the fundamental semiotic primitives are represented in semantically equivalent notations for logic, including controlled natural languages and various computer languages.

show abstract

Section: Extracting Logic From Languagementioning

confidence: 99%