flora-commits Mailing List for Flora-2
Brought to you by:
kifer
Menu
▾
▴
flora-commits — List for commit messages
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(59) |
Jun
(43) |
Jul
(4) |
Aug
(4) |
Sep
(102) |
Oct
(20) |
Nov
(47) |
Dec
(32) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(24) |
Feb
(34) |
Mar
(72) |
Apr
(36) |
May
(10) |
Jun
(46) |
Jul
(36) |
Aug
(24) |
Sep
(37) |
Oct
(27) |
Nov
(43) |
Dec
(40) |
| 2004 |
Jan
(35) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(30) |
Aug
(83) |
Sep
(68) |
Oct
(38) |
Nov
(3) |
Dec
(7) |
| 2005 |
Jan
(9) |
Feb
(31) |
Mar
(46) |
Apr
(73) |
May
(21) |
Jun
(1) |
Jul
(32) |
Aug
(33) |
Sep
(3) |
Oct
(28) |
Nov
(4) |
Dec
(23) |
| 2006 |
Jan
(22) |
Feb
(2) |
Mar
(12) |
Apr
(23) |
May
(73) |
Jun
(14) |
Jul
|
Aug
(20) |
Sep
(14) |
Oct
(5) |
Nov
|
Dec
(14) |
| 2007 |
Jan
(54) |
Feb
(81) |
Mar
(286) |
Apr
(313) |
May
(154) |
Jun
(85) |
Jul
(8) |
Aug
(11) |
Sep
(12) |
Oct
(14) |
Nov
(6) |
Dec
(6) |
| 2008 |
Jan
|
Feb
|
Mar
(1) |
Apr
(12) |
May
(4) |
Jun
|
Jul
(13) |
Aug
(22) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2013 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(46) |
Jun
(43) |
Jul
(46) |
Aug
(9) |
Sep
(13) |
Oct
(31) |
Nov
(42) |
Dec
(18) |
| 2014 |
Jan
(7) |
Feb
(7) |
Mar
(11) |
Apr
(13) |
May
(16) |
Jun
(6) |
Jul
(17) |
Aug
|
Sep
(2) |
Oct
|
Nov
(1) |
Dec
|
| 2015 |
Jan
|
Feb
(17) |
Mar
(4) |
Apr
(3) |
May
(2) |
Jun
(3) |
Jul
(2) |
Aug
(3) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
(2) |
| 2017 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
1
|
|
2
|
3
|
4
|
5
|
6
(1) |
7
|
8
|
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
|
30
|
31
|
|
|
|
|
|
|
From: Michael K. <ki...@us...> - 2008-03-06 20:37:53
|
Update of /cvsroot/flora/flora-website In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv22477 Modified Files: aboutFlogic.php Log Message: updated biblio Index: aboutFlogic.php =================================================================== RCS file: /cvsroot/flora/flora-website/aboutFlogic.php,v retrieving revision 1.11 retrieving revision 1.12 diff -u -d -r1.11 -r1.12 --- aboutFlogic.php 18 Sep 2007 18:36:29 -0000 1.11 +++ aboutFlogic.php 6 Mar 2008 20:37:49 -0000 1.12 @@ -50,16 +50,14 @@ F-logic) is a powerful tool for representing and querying semi-structured data. </li> - <li> - <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/well-founded-optimizm.pdf"> - Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. - </a> - Intl. Conference on - Ontologies, DataBases, and Applications of Semantics for Large - Scale Information Systems (ODBASE), October, 2002. - <br> + <li> + <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/inheritance-in-rbfs.pdf"> + Inheritance in Rule-Based Frame Systems: Semantics and Inference</a> + Journal on Data Semantics (JoDS), Volume VII, Pages 79-135. + <br/> Resolves the problem of semantics and computation of non-monotonic multiple inheritance in the presense of deductive rules. + Extends F-logic with code inheritance. </li> <li> <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/fl-reification.pdf"> @@ -73,15 +71,6 @@ properly model RDF in F-logic and FLORA-2. </li> <li> - <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/code-inheritance03.pdf"> - Inheritance and Rules in Object-Oriented Semantic Web Languages - </a> - Rules and Rule Markup Languages for the Semantic Web (RuleML03), - LNCS 2876, Springer Verlag, 2003 - <br> - Extends F-logic with code inheritance. - </li> - <li> <A href="http://www.ontoprise.de/documents/tutorial_flogic.pdf"> How to Write F-Logic Programs.</A> A tutorial for the <a href="http://www.ontoprise.de/">Ontoprise</a>'s |