It would be good to find out how he put the DRS
onto his FOL output automatically. Do you have
any links to the DRS work he did? (01)
-Rich (02)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2 (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On
Behalf Of Rich Cooper
Sent: Friday, October 31, 2014 7:04 PM
To: '[ontolog-forum] '
Subject: Re: [ontolog-forum] OACES (Organized ACE
Specifications) (04)
That sounds great! ACE through DRS through a web
service could be very useful. (05)
When I worked at Hughes' Software Engineering
Division, we had a terrific manager who drove the
R&D department very effectively. We built
software tools for storing the specifications in a
database, and indexing them to provide
traceability of requirements to design choices.
The idea is to map your business into something
that represents your commonly performed activities
in ways that are traceable directly to the reason
why you chose certain paths. (06)
Tracking a controlled language could even be
better because more software could represent
specifications that can someday be interpreted or
modified by various devices and programs. (07)
The problem is, the people who make up
requirements specifications are heavily
experienced experts in their particular type of
discipline or component design, and they use their
own terminology, so the spec paragraphs are
written by multiple authors. (08)
I faced the same issue with my patent corpus
analyzer. There, the specifications include claim
language that is partly matched to legally
specified words in claims, such as "comprises" and
other jargon-specific words used in that trade. I
suppose you could edit out all the errors in
patent claim syntax, but that would take a lot of
human time to do. It's better if there are NO
restrictions on using publicly stored procedures,
no special words, and so on. I very much like the
way he treats it as a joining of DRS and ACE
though; that is a good component to know about. (09)
-Rich (010)
Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On
Behalf Of John F Sowa
Sent: Thursday, October 30, 2014 5:24 AM
To: [ontolog-forum]
Subject: [ontolog-forum] OACES (Organized ACE
Specifications) (011)
Following is an article about using ACE for
organizing and
managing readable specifications that can be
unambiguously
translated to first-order logic: (012)
http://homepages.abdn.ac.uk/w.w.vasconcelos/pages/
/publications/specifications_in_the_large.pdf (013)
Excerpts below. (014)
John
__________________________________________________
_____________ (015)
One advantage of ACE as a specification language
is that it is not
required that its users learn a formal notation
for communication
and get fluent in it before they can actually
start using it.
Software practitioners can write specifications in
a familiar
format, their only major concern being the
linguistic limitations
of ACE's adopted subset of English... (016)
We are currently developing an environment for
writing specifications
in ACE. To tackle issues inherent in large bodies
of textual
information aimed at humans, we employ automatic
and manual means
with which ACE specifications can be organised and
presented for
management and reuse. Our environment, called
OACES (Organised
Attempto Controlled English Specifications) can be
seen as
a tool to prepare and manage a library of
specifications in ACE... (017)
Currently, our OACES tool can only be run locally,
that is, the source
Prolog code must be provided for each of its
users. We have however
started to develop an interface so as to allow
remote users to
experiment with OACES via the World-Wide-Web. (018)
__________________________________________________
_______________
Message Archives:
http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-f
orum/
Unsubscribe:
mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePa
ge#nid1J (019)
__________________________________________________
_______________
Message Archives:
http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr:
http://ontolog.cim3.net/mailman/listinfo/ontolog-f
orum/
Unsubscribe:
mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePa
ge#nid1J (020)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (021)
|