sigmakee-develop Mailing List for Sigma
Status: Beta
Brought to you by:
apease
Menu
▾
▴
sigmakee-develop — Developer's mailing list
You can subscribe to this list here.
| 2004 |
Jan
|
Feb
(1) |
Mar
(5) |
Apr
|
May
(1) |
Jun
(1) |
Jul
(5) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2006 |
Jan
|
Feb
|
Mar
|
Apr
(5) |
May
(1) |
Jun
|
Jul
(2) |
Aug
(1) |
Sep
|
Oct
(2) |
Nov
(4) |
Dec
|
| 2007 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(3) |
Nov
|
Dec
|
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
(2) |
May
(2) |
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2012 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(4) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
| 2015 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
|
|
From: Adam P. <ada...@at...> - 2015-10-04 16:06:48
|
Hi Folks, SourceForge has had some stability problems, and the world seems to be moving to Git, so we've migrated the site to GitHub. We'll keep the old SourceForge site up, read-only, at least for a while. There might be some issues in the transition, so please let the group know if you encounter problems. The project remains open source, of course. Adam http://ontologyportal.github.io/sigmakee/ -- ------------------- Adam Pease http://www.ontologyportal.org http://www.articulatesoftware.com http://www.adampease.org |
|
From: Adam P. <ada...@at...> - 2013-10-05 04:03:39
|
Hi Folks, I've posted a new podcast, talking through how to define a new term in SUMO. Maybe it will be of interest. http://www.ontologyportal.org/SumoPodcast1.mp3 all the best, Adam -- ------------------- Adam Pease http://www.ontologyportal.org http://www.articulatesoftware.com http://www.adampease.org |
|
From: Ron B. <ron...@ya...> - 2013-01-31 08:07:47
|
hello! http://www.aesengineering.com.au/components/com_content/mainx.php?e8au9=0d3u Ron Bogdanoff 1/31/2013 9:07:39 AM |
|
From: Adam P. <ada...@at...> - 2012-08-19 02:37:28
|
Probably obvious to others using Eclipse, but I always forget that it doesn't inherit environment variables and I recently got a new machine where I had to setup from scratch. To get the build going, select Run->ExternalTools ->ExternalToolsConfiguration then Main tab to set the BaseDirectory of your source code (which for me is /home/apease/SourceForge/sigma) then go to the Environment Tab of the ExternalToolsConfiguration dialog to set the three necessary environment variables that you already have in your .bashrc or Windows Registry - ANT_HOME, CATALINA_HOME and SIGMA_HOME Happy coding! Adam -- ------------------------------- Adam Pease http://www.adampease.org NOTE: ada...@ea... will soon no longer be active Please use ap...@ar... |
|
From: Adam P. <ada...@at...> - 2012-08-18 23:50:13
|
Hi Folks, I'm going to be in San Jose on the evening of Aug 29. Let me know if you're interested in getting together for a SUMO/Sigma user group meeting. Adam -- ------------------------------- Adam Pease http://www.adampease.org NOTE: ada...@ea... will soon no longer be active Please use ap...@ar... |
|
From: Adam P. <ada...@at...> - 2012-08-15 23:31:30
|
Hi Rich, Many thanks for the kind review! I agree with your summary about the mailing lists, and I like your top-level list of projects. Don't let me discourage you from pursuing namespace stuff! As you say, that's the beauty of open source. It may have more value than I think. The only thing I'd recommend is to spend some time creating a significant amount of ontology content before you decide where to put effort in expanding the tool set. Here's a list of project ideas I had on one slide - Tree-based editor for creating subclass/instance hierarchies in KIF - text editor integration for SUO-KIF/Sigma - Integrate E - Fix the set and list theories to conform to Zeno-Frankel or other major approach - Elaborate the case role structure, revising use of patient to be more specific - Package Sigma for all three four (or more) OS's so it's easy to install! - Reload WordNet files button - Allow loading of multiple wordnets - fix the error message reporting - help me work on a better manual! Adam On Wed, 2012-08-15 at 16:14 -0700, Rich Morin wrote: > I enjoyed Adam's course a great deal and hope to use some of > what I learned in both personal and paid projects. I'm also > hoping that Adam will set up a regular (eg, monthly) meeting > where folks can touch base, work on problems together, etc. > > > I'm not exactly sure about the boundaries between the -sumo > and -develop lists, but my take is that -sumo covers pretty > much everything except development topics on specific code > (eg, Sigma, CELT). Please forgive (and correct) any errors. > > > Near the end of the course, Adam put up a wish list of areas > where he could use some help. I don't have a copy, but here > are some general areas that subsume most of his items (and a > few that he didn't mention): > > community building, documentation, etc. > software packaging and installation > namespace management, syntactic macros, etc. > visualization and user experience > > Some of these areas are already being addressed; others are > longer-term and/or highly speculative in nature. In fact, > Adam seems quite skeptical about the utility of namespace > management, syntactic macros, etc. However, one of the joys > of Open Source is the chance to try out partly-baked ideas. > > Speaking of which, a couple of us are interested in getting > Sigma (etc) running under Clojure, then using that environment > to start playing with some ideas. Please get in touch if this > sounds intriguing... > > -r > > -- > http://www.cfcl.com/rdm Rich Morin > http://www.cfcl.com/rdm/resume rd...@cf... > http://www.cfcl.com/rdm/weblog +1 650-873-7841 > > Software system design, development, and documentation > > > > ------------------------------------------------------------------------------ > Live Security Virtual Conference > Exclusive live event will cover all the ways today's security and > threat landscape has changed and how IT managers can respond. Discussions > will include endpoint security, mobile security and the latest in malware > threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ > _______________________________________________ > Sigmakee-sumo mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-sumo -- ------------------------------- Adam Pease http://www.adampease.org NOTE: ada...@ea... will soon no longer be active Please use ap...@ar... |
|
From: Adam P. <ada...@at...> - 2012-08-13 17:48:49
|
Hi Folks, User Ron Bogdanoff has made Sigma into an Amazon Web Services image, so you can run your own Sigma instance in the cloud. I'm new to AWS, and haven't tried this with success yet, but it might be an option for some of you. Adam > > Hi Adam, > > > > You are probably not in the 'US West N. California' region. > > > AWS has several autonomous data centers or 'regions' as they call > them. > > > When you log into the AWS console UI, look on the left for the > 'navigation' frame. There is a Region: drop down list - this is the > AWS region you are in. > > > > Make sure you have selected 'US West (N. California)' as the region. > This is the region that I put the AMI in. If you were in, say, 'US > East (Virginia)', you will not find that particular AMI in that > region. > > > Also, make sure you stop your EC2 instance(s) when you are not using > them so you don't get charged for idle time ;) > > > > Let me know if you still can not find it or have other questions - > will be glad to help > > > > Cheers > Ron Bogdanoff > > > > > > > > > ______________________________________________________________________ > From: Adam Pease <ada...@at...> > To: Ron Bogdanoff > Sent: Sunday, August 12, 2012 4:45 PM > Subject: Re: Sigma on AWS > > > Hi Ron, > I haven't used AWS before, so I'm afraid I need a little more > guidance. I signed up for an AWS account, went to the EC2 Management > Console and then the Request Instance Wizard. I searched in the > Community AMIs and AWS Marketplace, but didn't get any results for > ami-474e6a02. Can you give me a few pointers for getting started? > > many thanks, > Adam > > On Sun, 2012-08-12 at 10:40 -0700, Ron Bogdanoff wrote: > > Forgot to mention... > > > > > > Make sure the SecurityGroup (AWS name for their firewall) that you > > associate with your EC2 instance has port 80 open. It should be by > > default but first time EC2 users sometimes don't know about this so > it > > is good to check - just a heads up if you get a request timeout from > > your browser > > > > > > Regards > > Ron Bogdanoff > > > > > > > > > ______________________________________________________________________ > > From: Ron Bogdanoff > > To: "ap...@ar..." <ap...@ar...> > > Sent: Sunday, August 12, 2012 10:34 AM > > Subject: Sigma on AWS > > > > > > > > > > Hi Adam, > > > > I have a public AMI (Amazon Machine Image) with sigma installed on > > ubuntu. > > > > The public image id is ami-474e6a02 and it is located in the US West > > N. California region > > > > When you start an EC2 instance from the image, make it a small image > > (1.7GB) and not the default micro image (612MB) as a micro image > will > > be too small. > > > > You may want to make a copy of this AMI so you have a copy of it > that > > you own and control and can modify as you see fit moving forward - I > > will eventually remove the public AMI I created once you are > > comfortable with managing it. > > > > There is a README.txt in the ubuntu shell account with this > > text..... > > > > Running Sigma on AWS (Ubuntu) > > > > > > Sigma (and Tomcat) has been installed into the ubuntu shell account. > > > > Tomcat has been configured to listen on port 80, NOT port 8080 > > This is because you may be behind a firewall at your place of > > employment > > and port 8080 may be blocked. > > > > Tomcat runs as root user so it can bind to port 80 which is a > > privileged port > > > > There is an init.d script (/etc/init.d/tomcat) that will startup > > Tomcat at boot > > time. All you need to do is start the EC2 instance via the AWS > > console and > > after it starts, you will immediately be able to point your browser > to > > > > http://yourEC2PublicDNSName/sigma/KBs.jsp > > > > where ‘yourEC2PublicDNSName’ is the public DNS name that AWS > assigned > > to > > your EC2 instance > > > > NOTE: It may take a few seconds to get a response the first time > you > > log > > into sigma after a boot – the application needs to initialize and > this > > takes > > ~30 seconds > > > > You can ssh to the EC2 instance as normal. Log into the ubuntu > shell > > account, > > NOT the root account. There is no shell password by default > > > > From the ubuntu shell, there are two command aliases: > > > > start_tomcat > > stop_tomcat > > > > so you can easily start and stop tomcat as needed manually > > > > The sigma knowledge base is at /home/ubuntu/sigma/KBs > > > > By default only Merge.kif, English_format.kif and > > Mid-level-ontology.kif are > > loaded into Sigma. If you want to add any other .kif files that are > > in > > /home/ubuntu/sigma/KBs you will need to add them to > > /home/ubuntu/sigma/KBs/config.xml and stop/start tomcat > > > > > > > > Regards > > Ron Bogdanoff > > > > > > > > > > > > > > > > > > > > -- > ------------------------------- > Adam Pease > http://www.adampease.org > NOTE: ada...@ea... will soon no longer be active > Please use ap...@ar... > > > > > > -- ------------------------------- Adam Pease http://www.adampease.org NOTE: ada...@ea... will soon no longer be active Please use ap...@ar... |
|
From: Adam P. <ada...@ea...> - 2008-05-13 00:06:13
|
Hi Allen, Yes, Vampire is part of the Sigma release. Soon we'll be doing a release that has many other engines, but Vampire will still be a good choice. I'm afraid there's no support other than me and this forum. Adam On Mon, 2008-05-12 at 20:49 -0300, Alan Meech wrote: > I think I read somewhere that the inference engine behind Sigma is > Vampire. If I have problems with basic inference, is there > documentation on the engine or support forums? > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2008. > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop |
|
From: Alan M. <ala...@gm...> - 2008-05-12 23:49:39
|
I think I read somewhere that the inference engine behind Sigma is Vampire. If I have problems with basic inference, is there documentation on the engine or support forums? |
|
From: Adam P. <ada...@ea...> - 2008-04-04 21:13:37
|
Hi Alan, Alan Meech wrote: > I am just starting to use Sigma and am starting to write some content > using SUMO. I have been using the inference tests as a starting point > because it allows me to test some of my assumptions about SUO-KIF and > SUMO without polluting my concept space in SUMO. Could anyone help me > by answering these: > > 1. In each .tq file in the default test suite, there is only one > (query) and one (answer). Is there a way to get multiple query/answer > pairs in one test? (I normally set up a data set and test several > questions against it. If this is not possible, I will be repeating > the same setup in several files.) > Not currently. You could try modifying InferenceTestSuite.test() to handle multiple answers. I'm not sure how you could have multiple queries. Each new query would be a new test. > 2. Is there a way of dumping the results of a query while doing a test > (the KIF equivalent to a print statement)? > I'm not sure what you mean. Each query generates a result file when it succeeds or fails, and there aren't any intermediate results during a query. > 3. Is there a way of including an external file (a merge/import > statement)? (Again, this would help when using the same setup > information over and over.) > Not currently, although that would be a very useful modifiction to InferenceTestSuite.test() > 4. The way the current preferences are set up, there is only one > global test directory for all knowledge bases. Is there a way of > getting a test directory for each specific knowledge base? > (Temporarily, I have directed the global test directory to a new spot > where I am doing my development.) > Not currently, but that would also be a useful feature to add. You could add a testing metapredicate to TQ files like (testDir "dir"). Adam > Thanks. > > Alan Meech > Sr. Consultant, CGI > > ------------------------------------------------------------------------- > Check out the new SourceForge.net Marketplace. > It's the best place to buy or sell services for > just about anything Open Source. > http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop > -- ------------------------- Adam Pease Articulate Software www.articulatesoftware.com |
|
From: Alan M. <ala...@gm...> - 2008-04-03 20:28:34
|
I am just starting to use Sigma and am starting to write some content using SUMO. I have been using the inference tests as a starting point because it allows me to test some of my assumptions about SUO-KIF and SUMO without polluting my concept space in SUMO. Could anyone help me by answering these: 1. In each .tq file in the default test suite, there is only one (query) and one (answer). Is there a way to get multiple query/answer pairs in one test? (I normally set up a data set and test several questions against it. If this is not possible, I will be repeating the same setup in several files.) 2. Is there a way of dumping the results of a query while doing a test (the KIF equivalent to a print statement)? 3. Is there a way of including an external file (a merge/import statement)? (Again, this would help when using the same setup information over and over.) 4. The way the current preferences are set up, there is only one global test directory for all knowledge bases. Is there a way of getting a test directory for each specific knowledge base? (Temporarily, I have directed the global test directory to a new spot where I am doing my development.) Thanks. Alan Meech Sr. Consultant, CGI |
|
From: Adam P. <ada...@ea...> - 2007-10-28 04:15:07
|
Hi Cameron, Although we haven't verified this for the latest version, that has been the case in the past, although such partitionings are not strict. Please take a look at the diagram at <http://www.ontologyportal.org/> . We would welcome a tool that does an automatic partitioning however. There were some folks that made a start at that <http://swserver.cs.vu.nl/partitioning/SUMO/> , but they didn't consider rules. Adam Cameron Ross wrote: > Hi Adam, > > As discussed during your recent ONTOLOG presentation, we're working on a > tool that will translate SUMO into a CLIF-based representation. We plan > to incorporate the modular nature of SUMO using the Common Logic module > construct and are, therefore, leveraging the ;; BEGIN FILE, ;; ENDFILE, > and ;; INCLUDES annotations embedded within SUMO. During our analysis > we've noticed that the GRAPH THEORY module doesn't include any other > modules. I believe this is an oversight. > > Cheers, > Cameron Ross > Symboticware Incorporated > > > > ------------------------------------------------------------------------ > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Splunk Inc. > Still grepping through log files to find problems? Stop. > Now Search log events and configuration files using AJAX and a browser. > Download your FREE copy of Splunk now >> http://get.splunk.com/ > > > ------------------------------------------------------------------------ > > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop |
|
From: Cameron R. <cr...@sy...> - 2007-10-26 02:43:19
|
Hi Adam, As discussed during your recent ONTOLOG presentation, we're working on a = tool that will translate SUMO into a CLIF-based representation. We plan = to incorporate the modular nature of SUMO using the Common Logic module = construct and are, therefore, leveraging the ;; BEGIN FILE, ;; ENDFILE, = and ;; INCLUDES annotations embedded within SUMO. During our analysis = we've noticed that the GRAPH THEORY module doesn't include any other = modules. I believe this is an oversight. =20 Cheers, Cameron Ross Symboticware Incorporated |
|
From: <ada...@ea...> - 2007-10-04 15:09:49
|
Folks, Sigma 2.0 has been released at <https://sourceforge.net/project/showfiles.php?group_id=102489> (or from the main project site at http://sigmakee.sourceforge.net). It includes more robust and correct inference performance, and an experimental link to many new theorem provers. It has simplified and more stable installation procedures and many minor enhancements and bug fixes. We'd like your feedback, if you have time to try it out. Adam |
|
From: Adam P. <ada...@ea...> - 2006-11-30 18:30:17
|
Hi Cameron,
I've been modifying Formula.java lately so I'm not sure I know which
line you are referring to. If you are still getting this error and can
send me the Java stack trace and context of the line on which the error
occurs I can try to help.
Adam
Cameron Ross wrote:
> Hi Adam,
>
> My test client code below calls Formula.preProcess() which fails at line
> 758 (not shown). I'll have to review unification and how it relates to
> the holds predicate. Thanks for the info.
>
> Cheers,
> Cameron.
>
> Adam Pease wrote:
>> Hi Cameron,
>> Which is line 758 in the code segment below?
>>
>> All clauses get an added "holds" predicate. In that way, the query
>>
>> (?REL A B)
>>
>> will unify with
>>
>> (rel A B)
>>
>> because they are preprocessed to
>> (holds ?REL A B)
>> (holds rel A B)
>>
>> If (rel A B) weren't preprocessed, you'd have
>>
>> (holds ?REL A B)
>> (rel A B)
>>
>> and they wouldn't unify.
>>
>> Adam
>>
>> Cameron Ross wrote:
>>> Hi Adam,
>>>
>>> I'm analyzing Sigma's Formula.preProcess() method as I build a
>>> SUO-KIF translator for the PowerLoom system. I have the following
>>> questions:
>>>
>>> 1) The SUO-KIF BNF indicates that (?a b c) is a valid sentence.
>>> However, the following code generates a NullPointerException at line
>>> 758 of Formula.preProcess():
>>> / Formula formula = new Formula();
>>> formula.read("(?a b c)");
>>> List<Formula> lst = formula.preProcess();
>>> / Either "(?a b c)" is not a valid suo-kif sentence
>>> (i.e. I'm misinterpreting the grammar), or there is a bug in
>>> Formula.preProcess(). Any ideas?
>>>
>>> 2) If I pre-process the sentence "(a b c)" I expect "(a b c)" but
>>> get "(holds a b c)". Isn't the 'holds' predicate to be introduced
>>> when there is a variable in the predicate position? That is, "(?a b
>>> c)" pre-processes to "(holds ?a b c)". Perhaps I'm missing something
>>> fundamental with how Vampire expects input.
>>>
>>> Cheers,
>>> Cameron.
>>>
>>>
>>>
>>> ------------------------------------------------------------------------
>>>
>>> -------------------------------------------------------------------------
>>>
>>> Take Surveys. Earn Cash. Influence the Future of IT
>>> Join SourceForge.net's Techsay panel and you'll get the chance to
>>> share your
>>> opinions on IT & business topics through brief surveys - and earn cash
>>> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
>>>
>>>
>>>
>>> ------------------------------------------------------------------------
>>>
>>> _______________________________________________
>>> Sigmakee-develop mailing list
>>> Sig...@li...
>>> https://lists.sourceforge.net/lists/listinfo/sigmakee-develop
>>
>
>
|
|
From: Cameron R. <cr...@sy...> - 2006-11-28 16:58:17
|
Hi Adam,
My test client code below calls Formula.preProcess() which fails at line
758 (not shown). I'll have to review unification and how it relates to
the holds predicate. Thanks for the info.
Cheers,
Cameron.
Adam Pease wrote:
> Hi Cameron,
> Which is line 758 in the code segment below?
>
> All clauses get an added "holds" predicate. In that way, the query
>
> (?REL A B)
>
> will unify with
>
> (rel A B)
>
> because they are preprocessed to
> (holds ?REL A B)
> (holds rel A B)
>
> If (rel A B) weren't preprocessed, you'd have
>
> (holds ?REL A B)
> (rel A B)
>
> and they wouldn't unify.
>
> Adam
>
> Cameron Ross wrote:
>> Hi Adam,
>>
>> I'm analyzing Sigma's Formula.preProcess() method as I build a
>> SUO-KIF translator for the PowerLoom system. I have the following
>> questions:
>>
>> 1) The SUO-KIF BNF indicates that (?a b c) is a valid sentence.
>> However, the following code generates a NullPointerException at line
>> 758 of Formula.preProcess():
>> / Formula formula = new Formula();
>> formula.read("(?a b c)");
>> List<Formula> lst = formula.preProcess();
>> / Either "(?a b c)" is not a valid suo-kif sentence
>> (i.e. I'm misinterpreting the grammar), or there is a bug in
>> Formula.preProcess(). Any ideas?
>>
>> 2) If I pre-process the sentence "(a b c)" I expect "(a b c)" but
>> get "(holds a b c)". Isn't the 'holds' predicate to be introduced
>> when there is a variable in the predicate position? That is, "(?a b
>> c)" pre-processes to "(holds ?a b c)". Perhaps I'm missing something
>> fundamental with how Vampire expects input.
>>
>> Cheers,
>> Cameron.
>>
>>
>>
>> ------------------------------------------------------------------------
>>
>> -------------------------------------------------------------------------
>>
>> Take Surveys. Earn Cash. Influence the Future of IT
>> Join SourceForge.net's Techsay panel and you'll get the chance to
>> share your
>> opinions on IT & business topics through brief surveys - and earn cash
>> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
>>
>>
>>
>> ------------------------------------------------------------------------
>>
>> _______________________________________________
>> Sigmakee-develop mailing list
>> Sig...@li...
>> https://lists.sourceforge.net/lists/listinfo/sigmakee-develop
>
|
|
From: Adam P. <ada...@ea...> - 2006-11-28 16:40:30
|
Hi Cameron,
Which is line 758 in the code segment below?
All clauses get an added "holds" predicate. In that way, the query
(?REL A B)
will unify with
(rel A B)
because they are preprocessed to
(holds ?REL A B)
(holds rel A B)
If (rel A B) weren't preprocessed, you'd have
(holds ?REL A B)
(rel A B)
and they wouldn't unify.
Adam
Cameron Ross wrote:
> Hi Adam,
>
> I'm analyzing Sigma's Formula.preProcess() method as I build a SUO-KIF
> translator for the PowerLoom system. I have the following questions:
>
> 1) The SUO-KIF BNF indicates that (?a b c) is a valid sentence.
> However, the following code generates a NullPointerException at line 758
> of Formula.preProcess():
> / Formula formula = new Formula();
> formula.read("(?a b c)");
> List<Formula> lst = formula.preProcess();
> /
> Either "(?a b c)" is not a valid suo-kif sentence (i.e. I'm
> misinterpreting the grammar), or there is a bug in
> Formula.preProcess(). Any ideas?
>
> 2) If I pre-process the sentence "(a b c)" I expect "(a b c)" but get
> "(holds a b c)". Isn't the 'holds' predicate to be introduced when
> there is a variable in the predicate position? That is, "(?a b c)"
> pre-processes to "(holds ?a b c)". Perhaps I'm missing something
> fundamental with how Vampire expects input.
>
> Cheers,
> Cameron.
>
>
>
> ------------------------------------------------------------------------
>
> -------------------------------------------------------------------------
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Sigmakee-develop mailing list
> Sig...@li...
> https://lists.sourceforge.net/lists/listinfo/sigmakee-develop
|
|
From: Cameron R. <cr...@sy...> - 2006-11-28 16:05:02
|
Hi Adam,
I'm analyzing Sigma's Formula.preProcess() method as I build a SUO-KIF
translator for the PowerLoom system. I have the following questions:
1) The SUO-KIF BNF indicates that (?a b c) is a valid sentence.
However, the following code generates a NullPointerException at line 758
of Formula.preProcess():
/ Formula formula = new Formula();
formula.read("(?a b c)");
List<Formula> lst = formula.preProcess();
/
Either "(?a b c)" is not a valid suo-kif sentence (i.e. I'm
misinterpreting the grammar), or there is a bug in
Formula.preProcess(). Any ideas?
2) If I pre-process the sentence "(a b c)" I expect "(a b c)" but get
"(holds a b c)". Isn't the 'holds' predicate to be introduced when
there is a variable in the predicate position? That is, "(?a b c)"
pre-processes to "(holds ?a b c)". Perhaps I'm missing something
fundamental with how Vampire expects input.
Cheers,
Cameron.
|
|
From: Adam P. <ada...@ea...> - 2006-10-13 05:03:22
|
Hi Cameron, Vampire is developed by U. Manchester, so sigmakee.sourceforge.net is not the primary site, however, other versions are not compatible with Sigma and are not to my knowledge released open source. I'm eager to have people use the code, but since Sigma incorporates many different pieces, I'm not sure how easy it would be to change the licensing of the entire system. I'd also need to know what the specific issue is with GPL. Adam Cameron Ross wrote: > Hello, > > According to the project summary on SourceForge, Sigma is distributed > under the GPL. However, the some of the Vampire sources (e.g. > Inference.hpp and Clause.cpp) indicate that it is licensed under LGPL. > Is sigmakee.sourceforge.net the primary site for Vampire? Also, I would > very much like to employ Sigma within a collaborative research project > exploring the use of ontologies within the mining sector. However, I > know that the GPL will be a major barrier. Without getting into a > philosophical debate on open source licensing, is there a possibility of > changing this license to LGPL or something similar? > > Cheers, > Cameron Ross > President > Symboticware Incorporated > > ------------------------------------------------------------------------- > Using Tomcat but need to do more? Need to support web services, security? > Get stuff done quickly with pre-integrated technology to make your job easier > Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo > http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 > _______________________________________________ > Sigmakee-develop mailing list > Sig...@li... > https://lists.sourceforge.net/lists/listinfo/sigmakee-develop > > -- ---------------------------- Adam Pease http://www.ontologyportal.org - Free ontologies and tools |
|
From: Cameron R. <cr...@sy...> - 2006-10-11 21:04:55
|
Hello, According to the project summary on SourceForge, Sigma is distributed under the GPL. However, the some of the Vampire sources (e.g. Inference.hpp and Clause.cpp) indicate that it is licensed under LGPL. Is sigmakee.sourceforge.net the primary site for Vampire? Also, I would very much like to employ Sigma within a collaborative research project exploring the use of ontologies within the mining sector. However, I know that the GPL will be a major barrier. Without getting into a philosophical debate on open source licensing, is there a possibility of changing this license to LGPL or something similar? Cheers, Cameron Ross President Symboticware Incorporated |
|
From: Adam P. <ada...@ea...> - 2006-08-22 23:12:52
|
Folks, I just posted an updated manual and install package for Sigma at <https://sourceforge.net/project/showfiles.php?group_id=102489>, which includes a new install script. If anyone has time to try it, and provide feedback, that would be great. Adam |
|
From: Adam P. <ap...@ar...> - 2006-07-29 09:27:44
|
Hi Sodel, Good to hear you are using Sigma. I'd be interested in details about your project and it's goals. Comments below: At 12:34 PM 7/26/2006, Sodel Vazquez-Reyes wrote: >Hi, >I am wondering if you could send suggestions about two questions: > >- I have downloaded all the .kif files and load them into a Sigma >KB. I can then >get the superclasses of a given class by accessing the "parents" >HashMap in the >class "KB". >For example: human >Human [Mammal, Animal, Agent, SelfConnectedObject, Object, >WarmBloodedVertebrate, Physical, ITAgent, Primate, Vertebrate, Entity, >CognitiveAgent, OrganicObject, CorpuscularObject, SentientAgent, Hominid, >Organism] > >However, If I want to create a list like a hierarchy tree, I have two option >A).- Entity, Physical, Object, SelfConnectedObject, CorpuscularObject, >OrganicObject, Organism, Animal, Vertebrate, WarmBloodedVertebrate, Mammal, >Primate, Hominid, Human > >B).- Entity, Physical, Object, Agent, SentientAgent, CognitiveAgent, ITAgent, >Human > >how could I create the hierarchy trees?, because "parents" HashMap is a list >without order; >is there a variable with these requirement into Sigama project? There isn't a variable that holds immediate parents, but you can get this with kb.askWithRestriction(0,"subclass",1,"<your class here>") by substituting "<your class here>" with the variable holding the class of which you want to find immediate parents. >- Second, I have downloaded the right index and exc files for the version of >the mapping files in order to use the class "WordNet". The files idx, exc and >mappings are loaded successfully (apparently), however if I access: >WordNet.relations, >WordNet.nounSynsetHash, >WordNet.synsetsToWords, >WordNet.nounSUMOHash, >etc; each one is empty. I have tested with the version 2.0 and 2.1, >getting the >same result. > >how could I solve this problem? >have I omitted something? Are you able to browse the WordNet synsets running Sigma interactively? Make sure everything is installed properly first before trying to use the java code directly. Check what messages appear in the tomcat console or log (depending on how you have tomcat configured). We'll be fixing a few problems in the Sigma manual in the next few weeks and will send you a copy as soon as it's available. Adam >I am attaching my souces: WordNet, KB, KBaccessor (main class); in order to >provide more details. > >NOTE: I am not using the whole Sigma project. > >Best regards, >Sodel. > > >-- >Sodel Vazquez-Reyes >School of Informatics >The University of Manchester >PhD Student (Room: H12) >E-mail: s.v...@po... > > > ---------------------------- Adam Pease http://www.ontologyportal.org - Free ontologies and tools |
|
From: Sodel Vazquez-R. <S.V...@po...> - 2006-07-28 22:02:19
|
Hi, two questions: - I have downloaded all the .kif files and load them into a Sigma KB. I can then get the superclasses of a given class by accessing the "parents" HashMap in the class "KB". For example: human Human [Mammal, Animal, Agent, SelfConnectedObject, Object, WarmBloodedVertebrate, Physical, ITAgent, Primate, Vertebrate, Entity, CognitiveAgent, OrganicObject, CorpuscularObject, SentientAgent, Hominid, Organism] However, If I want to create a list like a hierarchy tree, I have two options: A).- Entity, Physical, Object, SelfConnectedObject, CorpuscularObject, OrganicObject, Organism, Animal, Vertebrate, WarmBloodedVertebrate, Mammal, Primate, Hominid, Human B).- Entity, Physical, Object, Agent, SentientAgent, CognitiveAgent, ITAgent, Human how could I create the hierarchy trees?, because "parents" HashMap is a list without order; is there a variable with these requirement into Sigama project? - Second, I have downloaded the right index and exc files for the version of the mapping files in order to use the class "WordNet". The files idx, exc and mappings are loaded successfully (apparently), however if I access: WordNet.relations, WordNet.nounSynsetHash, WordNet.synsetsToWords, WordNet.nounSUMOHash, etc; each one is empty. I have tested with the version 2.0 and 2.1, getting the same result. how could I solve this problem? have I omitted something? I am attaching my sources: WordNet, KB, KBaccessor (main class); in order to provide more details. NOTE: I am not using the whole Sigma project. Best regards, Sodel. -- Sodel Vazquez-Reyes School of Informatics The University of Manchester PhD Student (Room: H12) E-mail: s.v...@po... |
|
From: Adam P. <ap...@ar...> - 2006-05-14 18:02:19
|
Folks, Just wanted to update you on the status of SourceForge. In summary, anonymous and web-based CVS access is back, although some of the URLs have changed, and it would be prudent to use your local CVS client to check out the entire module again. I'll be updating web links in the next day or two. Adam ( 2006-05-13 06:10:17 - Project CVS Service ) As of 2006-05-12 at 11:30 Pacific, the replacement CVS infrastructure has been enabled for use. Do note that there are a number of changes, including the hostname used for repository access. Also, of note is that the last sync between the current developer CVS repository and the previous CVS infrastructure will have been from days prior to the CVS outage on the 9th. We recommend that users check out a copy of their new repository, copy the files in their working copy on top of the newly checked out repository, and then check those changes in. Due to the disk failure on the primary CVS server, we didn't want to risk moving any possible data corruption to the new hosts given the previous CVS server's hardware problems. Refer to the site documentation for details (https://www.sf.net/docs/E04). Please report any problems you see immediately by submitting a Support Request. ---------------------------- Adam Pease http://www.ontologyportal.org - Free ontologies and tools |
|
From: Adam P. <ap...@ar...> - 2006-04-24 16:34:31
|
Folks, I've ported the WordNet mappings to version 2.1, which is the latest WordNet release. Since anonymous/web CVS access is still down, I've included a zip file in the Sigma 1.5 beta binary release <https://sourceforge.net/project/showfiles.php?group_id=102489>. Adam ---------------------------- Adam Pease http://www.ontologyportal.org - Free ontologies and tools |
