Embed Size (px)
DESCRIPTION
Litteratus Calculus is a proposal to use concise natural language sentences to represent information and knowledge, instead of crippling software engineering models and formats. We propose it as an alternative to W3C Semantic Web. Models and ontology emerge by graph computation and topology from sentences rather than being frozen by advance.
Citation preview
LITTERATUS CALCULUS:A MANIFESTO FOR A
DEMOGRAPHIC WAY TO BUILD A SUSTAINABLE
SEMANTIC WEB
Jean RohmerEcole Supérieure d’Ingénieurs
Léonard de [email protected]
(Originally presented at ESWC 2006 Budva Montenegro)
LITTERATUS CALCULUS:
« LESS IS GOOD »
LESSFORMAT IS GOODFORMAT
LESSLOGIC IS GOODLOGIC
LESSSOFTWARE ENG. IS GOODSOFTWARE ENG.
LESSMEANS MORE USERS
LESSMEANS MORE SUSTAINABLESYSTEMS
LESS MEANS MORE RESPONSIVESYSTEMS
LESS MEANS MORE RESPONSIBLEUSERS
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
RDF triples are inferons , Logic clauses are inferons
Poem verses are often inferons,
Natural Language Sentences maybe inferons
AUTONOMOUS = self-sufficient to be understood alone by a certain community of people
LITT. CALCULUS DEDUCED CONCEPT
« INTERLOGOS »
AN INTERLOGOSIS A SUBSET OF WORDS COMMON TO TWO INFERONS
There are two national airlines havingscheduled flights to airport of Tivat
Montenegro Airlines has regular flightsserving Tivat Airport
flights tivat airport airlines
Montenegro Airlines opens an Agency in Kotor
montenegro airlines
airlines
LITT. CALCULUS DEDUCED CONCEPT
« ARGOS»
AN ARGOS IS A GRAPH OF INFERONS AND INTERLOGOS
There are two national airlines havingscheduled flights to airport of TivatThere are two national airlines having
scheduled flights to airport of Tivat
Montenegro Airlines has regular flightsserving Tivat Airport
Montenegro Airlines has regular flightsserving Tivat Airport
flights tivat airport airlinesflights tivat airport airlines
Montenegro Airlines opens an Agency in Kotor
Montenegro Airlines opens an Agency in Kotor
montenegro airlinesmontenegro airlines
airlinesairlines
LITTERATUS CALCULUS PROPERTIES
INFERONS are generalizations of RDF statements
INTERLOGOSare 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 !
LITTERATUS CALCULUS OPERATIONS
Ongoing Work: -- Analogy-based query & navigator
-- Analogy-based inference engine
-- Analogy-based grammatical extraction engine
-- Discovery of the Rhetorics of texts
-- Study of Differences
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 whichare similar
3) If A and B are similar, if A has neighbour C, then considerthe possibility that B has also neighbour C
AN ARGOS BETWEEN TWO INTERLOGOS
INFERONS(implemented with IDELIANCE™)
