On 3/20/2012 11:26 AM, TSchneider wrote:
> Are you aware of any work in the area of visualization of
> CL ontologies? (01)
The CL semantics was explicitly designed to support graphics by defining
the semantics of (and ...) and (or ...) to be independent of the order
of arguments. That means you can map a collection of conjuncts or
disjuncts on an area to a linear notation without any concern for how
they are placed in two dimensions. (02)
And by the way, the CGIF dialect of CL was explicitly designed to map
the full CL semantics to and from the display form (graphics) for
conceptual graphs and Peirce's existential graphs. For examples, see (03)
http://www.jfsowa.com/talks/clintro.pdf (04)
For Peirce's own tutorial about existential graphs, their mapping to
Common Logic (by the EGIF subset of CGIF), and some ways in which EGs
simplify, clarify, and generalize proof theory and model theory, see (05)
http://www.jfsowa.com/pubs/egtut.pdf (06)
And please note the thread on Natural Semantic Language (NSL 1.0),
which I started on Ontolog Forum. NSL is a controlled NL that is
based on CL semantics and is designed to have a simple mapping to
various graphic and linear notations. (07)
John (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/oor-forum/
Subscribe: mailto:oor-forum-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/oor-forum/
Shared Files: http://ontolog.cim3.net/file/work/OOR/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository (09)
|