 krasimir
|
354838807f
|
use "-" and ";" instead of "_" and "\n" in NQueens
|
2010-10-13 13:47:22 +00:00 |
|
|
krasimir
|
3ac637ddcb
|
update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments
|
2010-10-11 17:17:04 +00:00 |
|
|
krasimir
|
d8aa316588
|
extended CountriesAndRegionsRon.gf
|
2010-10-10 13:10:21 +00:00 |
|
|
aarne
|
fe15579b31
|
extended Attempto with some constructs
|
2010-09-29 07:16:33 +00:00 |
|
|
aarne
|
8fa5a50728
|
fixes in French morpho quiz grammar
|
2010-09-28 16:52:48 +00:00 |
|
|
krasimir
|
fb15e95a07
|
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
|
2010-09-21 18:42:39 +00:00 |
|
|
krasimir
|
ef1a4ebc6e
|
added GeographyEng
|
2010-09-21 18:40:11 +00:00 |
|
|
krasimir
|
70d8765418
|
fixes in Basic.gf to avoid loops in the reasoner
|
2010-09-21 18:38:06 +00:00 |
|
|
krasimir
|
197c377c6d
|
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
|
2010-09-20 15:21:13 +00:00 |
|
|
krasimir
|
ef3f1c3883
|
few more fixes in CountriesAndRegionsEng.gf
|
2010-09-18 17:29:02 +00:00 |
|
|
krasimir
|
21445f9fea
|
fix the linearization of GuineaBissau
|
2010-09-18 17:12:52 +00:00 |
|
|
krasimir
|
f2051c33e6
|
cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial
|
2010-09-18 08:57:50 +00:00 |
|
|
krasimir
|
905aeb9904
|
fix typo: the linearization of Iraq was Iran
|
2010-09-17 18:32:34 +00:00 |
|
|
krasimir
|
e30f2212b9
|
added MondialRon and CountriesAndRegionsRon with data imported from geonames.org
|
2010-09-17 16:22:10 +00:00 |
|
|
krasimir
|
e1ed8277a9
|
fix the compilation of CountriesAndRegionsEng.gf
|
2010-09-17 16:20:47 +00:00 |
|
|
krasimir
|
d2a17f02d7
|
some comments in Mondial.gf
|
2010-09-17 16:19:40 +00:00 |
|
|
krasimir
|
18e09d6483
|
remove Model and ProcessTask from MergeRon because they were already moved
|
2010-09-17 16:16:36 +00:00 |
|
|
krasimir
|
f1078b44b6
|
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
|
2010-09-17 15:53:58 +00:00 |
|
|
krasimir
|
e099336afa
|
add QoSontologyEng and linearization for ProcessTask
|
2010-09-06 09:12:49 +00:00 |
|
|
ramona.enache
|
8c2e696f27
|
added Model and ProcessTask in SumoFre and SumoRon
|
2010-09-06 08:58:30 +00:00 |
|
|
ramona.enache
|
4143834e69
|
changed SUMOFre encodings
|
2010-09-06 08:30:22 +00:00 |
|
|
ramona.enache
|
1edd84c21a
|
added basic concepts of the SUMO ontology for French and Romanian
|
2010-09-04 21:19:03 +00:00 |
|
|
aarne
|
9fc58ce0e7
|
kein Deutsch and some other Phrasebook fixes
|
2010-09-03 09:02:00 +00:00 |
|
|
aarne
|
1527d470ec
|
prepared German for kein Deutsch
|
2010-09-02 16:48:22 +00:00 |
|
|
aarne
|
952fb7685b
|
word order in indirect 'how far' questions in Eng and Dan
|
2010-09-02 16:18:35 +00:00 |
|
|
krasimir
|
31ee0bc804
|
linearization for PrimaryColor in SUMO
|
2010-08-31 09:52:30 +00:00 |
|
|
aarne
|
db06000701
|
embedded questions in phrasebook
|
2010-08-27 15:14:06 +00:00 |
|
|
aarne
|
68d04c9136
|
typo (?) in Dutch "cost"
|
2010-08-25 11:56:23 +00:00 |
|
|
aarne
|
f6b7d46892
|
verbosity in make phrasebook ; removed own hacks in LexiconBul
|
2010-08-25 11:30:16 +00:00 |
|
|
aarne
|
c67a50b869
|
updates in Phrasebook and resources
|
2010-08-25 09:08:31 +00:00 |
|
|
aarne
|
acb838eb79
|
silence in Compile in phrasebook
|
2010-08-24 14:17:09 +00:00 |
|
|
aarne
|
bf6857f43e
|
adjective forms fixed in Phrasebook
|
2010-08-23 07:47:05 +00:00 |
|
|
krasimir
|
a4cf8b2a52
|
linearizations for few class names in SUMO
|
2010-08-08 10:38:31 +00:00 |
|
|
krasimir
|
f5fb69d3cd
|
add coding=utf8 to BasicRon.gf
|
2010-07-31 14:27:57 +00:00 |
|
|
krasimir
|
d78aaf18da
|
move class Apple from MidLevelOntology to Economy for French and Romanian
|
2010-07-31 13:54:01 +00:00 |
|
|
krasimir
|
b128872e2d
|
declare Provice as subclass of StateOrProvince in Mondial.gf
|
2010-07-21 11:58:51 +00:00 |
|
|
jordi.saludes
|
f641b0c572
|
Really adding QuerySpa to embedded.
|
2010-06-18 15:53:47 +00:00 |
|
|
jordi.saludes
|
2007b75ab8
|
Added QuerySpa to tutorial/embedded.
|
2010-06-18 11:48:36 +00:00 |
|
|
krasimir
|
8cdb33031d
|
solve the ambiguity for double negation in SUMO
|
2010-07-13 11:43:24 +00:00 |
|
|
krasimir
|
d7f76c6d62
|
for some reason the concrete syntax for MidLevelOntology was not in darcs
|
2010-07-13 08:04:53 +00:00 |
|
|
krasimir
|
c066721dd1
|
fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely
|
2010-07-07 10:12:08 +00:00 |
|
|
aarne
|
3714a7e3b4
|
grammar for messages started
|
2010-06-21 16:50:40 +00:00 |
|
|
aarne
|
041e5e2a33
|
query language generalized and extended ; added README
|
2010-06-19 16:24:48 +00:00 |
|
|
aarne
|
a0f2ff0772
|
query language extended and generalized
|
2010-06-19 10:29:06 +00:00 |
|
|
aarne
|
0493f640d3
|
test script for query
|
2010-06-18 07:07:32 +00:00 |
|
|
aarne
|
d8284f61bf
|
starting query language for MOLTO
|
2010-06-16 20:00:46 +00:00 |
|
|
krasimir
|
b2a0adf969
|
added equality proof in the constructor for natural trasformations
|
2010-06-14 11:21:52 +00:00 |
|
|
krasimir
|
7d71704b3c
|
fix typo in category theory
|
2010-06-07 12:56:05 +00:00 |
|
|
krasimir
|
218beec02c
|
definitions for some high-order predicates that were missing
|
2010-06-06 12:10:49 +00:00 |
|
|
krasimir
|
54f40a135f
|
SUMO: remove the uggly SubClassC and use KappaFn instead
|
2010-06-06 11:44:51 +00:00 |
|