This document introduces Litteratus Calculus, a new semantic framework based on minimal autonomous sentences called inferons. An interlogos is a subset of words common to two inferons, and an argos is a graph connecting inferons and interlogos. Litteratus Calculus uses inductive analogy operations to perform queries, inferences, and other tasks over inferons. The goal is to build a more sustainable and democratic semantic web where any person can contribute inferons without extensive formatting or logic rules.

1. LITTERATUS CALCULUS:
A MANIFESTO FOR A
DEMOGRAPHIC WAY TO
BUILD A SUSTAINABLE
SEMANTIC WEB
Jean Rohmer
Ecole Supérieure d’Ingénieurs
Léonard de Vinci
jean.rohmer@devinci.fr
(Originally presented at ESWC 2006 Budva Montenegro)

2. LITTERATUS CALCULUS:
« LESS IS GOOD »
LESS FORMAT IS GOOD FORMAT
LESS LOGIC IS GOOD LOGIC
LESS SOFTWARE ENG. IS GOOD SOFTWARE ENG.
LESS MEANS MORE SUSTAINABLE SYSTEMS
LESS MEANS MORE RESPONSIVE SYSTEMS
LESS MEANS MORE USERS
LESS MEANS MORE RESPONSIBLE USERS

3. LITTERATUS CALCULUS = ONE CONCEPT
« INFERON »
AN INFERON IS A MINIMAL AUTONOMOUS SENTENCE
IN ANY HUMAN READABLE LANGUAGE
MINIMAL = cannot be replaced by one or several shorter sentences
AUTONOMOUS = self-sufficient to be understood alone by
a certain community of people
RDF triples are inferons , Logic clauses are inferons
Poem verses are often inferons,
Natural Language Sentences may be inferons

4. LITT. CALCULUS DEDUCED CONCEPT
« INTERLOGOS »
AN INTERLOGOS IS A SUBSET OF WORDS COMMON
TO TWO INFERONS
There are two national airlines having
scheduled flights to airport of Tivat airlines
Montenegro Airlines opens an
flights tivat airport airlines Agency in Kotor
Montenegro Airlines has regular flights
montenegro airlines
serving Tivat Airport

5. LITT. CALCULUS DEDUCED CONCEPT
« ARGOS»
AN ARGOS IS A GRAPH OF INFERONS AND
INTERLOGOS
There are two national airlines having
There are two national airlines having
scheduled flights to airport of Tivat airlines
airlines
scheduled flights to airport of Tivat
Montenegro Airlines opens an
Montenegro Airlines opens an
flights tivat airport airlines Agency in Kotor
Agency in Kotor
flights tivat airport airlines
Montenegro Airlines has regular flights
Montenegro Airlines has regular flights montenegro airlines
montenegro airlines
serving Tivat Airport
serving Tivat Airport

6. LITTERATUS CALCULUS PROPERTIES
INFERONS are generalizations of RDF statements
INTERLOGOS are generalizations of RDF
resources, properties, values
In Litteratus Calculus, everything is represented by inferons:
facts -- data-- models -- ontologies – rules – dictionnaries -- tables
Peter is a person -- « Lives » means « Vit » in French
Peter lives in Lisbon -- Mary visited Lisbon in Spring 2004 with Joe
A person is a mortal -- Joe is an old friend of Peter
EVERYBODY CAN WRITE INFERONS !

7. LITTERATUS CALCULUS OPERATIONS
Basic operation of litteratus calculus: inductive analogy
1) A is similar to B if they both have C as a neighbour in an
inferon
2) A is similar to B if they have C1 and C2 neighbour which
are similar
3) If A and B are similar, if A has neighbour C, then consider
the possibility that B has also neighbour C
Ongoing Work: -- Analogy-based query & navigator
-- Analogy-based inference engine
-- Analogy-based grammatical extraction engine
-- Discovery of the Rhetorics of texts
-- Study of Differences

8. AN ARGOS BETWEEN TWO
INTERLOGOS
INFERONS
(implemented with IDELIANCE™)