Extending Attribute Dependencies for Lattice-based Querying and Navigation Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Sma¨ıl-Tabbone ORPAILLEUR Team, LORIA / INRIA Nancy - Grand Est, Nancy, France
July 10, 2008 ICCS’08, Toulouse, France
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Introduction The BioRegistry Project ◮
Goal ◮
◮
Registry of biological databases ◮ ◮
◮
Retrieve relevant databases to answer given questions More than 1000 DBs (accessible on the web) Annotated by a set of metadata according to a defined schema (subject, content quality, used ontologies, ...)
Exploitation of BioRegistry ◮
BR-Explorer: a tool for lattice-based querying and navigation
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Introduction http://www.loria.fr/∼messai/files/BR-Explorer-screenshots.PDF
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Introduction http://www.loria.fr/∼messai/files/BR-Explorer-screenshots.PDF
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (1/2) Question ◮
Which databases contain data about mammals and preferably have a complete and updated content?
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (1/2) Question ◮
Which databases contain data about mammals and preferably have a complete and updated content?
Formulated as a query in lattice based IR ◮
Query attributes: mammals, complete, updated ◮ ◮
mammals ⊓ complete ⊓ updated mammals ⊔ complete ⊔ updated
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (1/2) Question ◮
Which databases contain data about mammals and preferably have a complete and updated content?
Formulated as a query in lattice based IR ◮
Query attributes: mammals, complete, updated ◮ ◮
mammals ⊓ complete ⊓ updated ⇒ over specified mammals ⊔ complete ⊔ updated ⇒ under specified
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (1/2) Question ◮
Which databases contain data about mammals and preferably have a complete and updated content?
Formulated as a query in lattice based IR ◮
Query attributes: mammals, complete, updated ◮ ◮
mammals ⊓ complete ⊓ updated ⇒ over specified mammals ⊔ complete ⊔ updated ⇒ under specified
Need ◮
A way to express the modality on the query attributes
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (2/2) Questions 1. Which databases contain data about mammals and preferably have a complete and updated content? 2. Among the databases having a complete and updated content, which are those containing data about mammals?
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (2/2) Questions 1. Which databases contain data about mammals and preferably have a complete and updated content? 2. Among the databases having a complete and updated content, which are those containing data about mammals?
Formulated as queries in lattice based IR ◮
Query attributes: mammals, complete, updated ◮ ◮
in 1, mammals is the main goal of the retrieval in 2, complete and updated are the main goal
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Motivating examples (2/2) Questions 1. Which databases contain data about mammals and preferably have a complete and updated content? 2. Among the databases having a complete and updated content, which are those containing data about mammals?
Formulated as queries in lattice based IR ◮
Query attributes: mammals, complete, updated ◮ ◮
in 1, mammals is the main goal of the retrieval in 2, complete and updated are the main goal
Need ◮
A way to express preferences on the query attributes
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Context of the work Problem statement
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
FCA: running example Context representing metadata on biological databases
× × × × × ×
Complete
× ×
×
× ×
× × × × ×
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
× × ×
× × ×
Ontologies
NCBI
Updated
Amphibiens × × ×
Content quality
Fishs
DB1 DB2 DB3 DB4 DB5 DB6 DB7 DB8
Birds
Mammals
DB subject
GO
◮
× × ×
× ×
× ×
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
FCA: an example ◮
The corresponding concept lattice
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR Lattice-based Querying ◮ ◮
Query: A set of attributes (keywords) Methodology 1. Define the query concept 2. Insert the query concept into the lattice 3. Retrieve the relevant objects in the neighbors of query concept
Lattice-based Navigation ◮
Start from a given concept and progressively add/remove attributes ◮ ◮
Adding attributes ⇒ Specialization Removing attributes ⇒ Generalization
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
Query ◮
◮
Retrieval Steps
DBs containing data about mammals and preferably having complete and updated content
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
◮
Query
◮
◮
DBs containing data about mammals and preferably having complete and updated content
◮
Q = (X , {Mammals, Complete, Updated})
Retrieval Steps
Ranked results
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
◮
Query
◮
◮
DBs containing data about mammals and preferably having complete and updated content
◮
Q = (X , {Mammals, Complete, Updated})
Retrieval Steps
Ranked results 1.
DB5 : Mammals, Complete, Updated DB7 : Mammals, Complete, Updated
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
◮
Query
◮
◮
DBs containing data about mammals and preferably having complete and updated content
◮
Q = (X , {Mammals, Complete, Updated})
Retrieval Steps
Ranked results 1. 2.
DB5 : DB7 : DB4 : DB6 :
Mammals, Complete, Updated Mammals, Complete, Updated Mammals, Updated Mammals, Complete
DB2 : Complete, Updated
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
◮
Query
◮
◮
DBs containing data about mammals and preferably having complete and updated content
◮
Q = (X , {Mammals, Complete, Updated})
Retrieval Steps
Ranked results 1. 2. 3.
DB5 : DB7 : DB4 : DB6 :
Mammals, Complete, Updated Mammals, Complete, Updated Mammals, Updated Mammals, Complete
DB2 : DB3 : DB8 : DB1 :
Complete, Updated Mammals Mammals Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Lattice-based IR: an example ◮
◮
Query
◮
◮
DBs containing data about mammals and preferably having complete and updated content
◮
Q = (X , {Mammals, Complete, Updated})
Retrieval Steps
Ranked results 1. 2. 3.
DB5 : DB7 : DB4 : DB6 :
Mammals, Complete, Updated Mammals, Complete, Updated Mammals, Updated Mammals, Complete
DB2 : DB3 : DB8 : DB1 :
Complete, Updated Mammals Mammals Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Limits Analysis of the query results ◮
Ranked results 1. DB5 , DB7 : Mammals, Complete, Updated 2. DB4 : Mammals, Updated 3.
DB6 : Mammals, Complete DB2 : Complete, Updated DB3 DB8 : Mammals DB1 : Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Limits Analysis of the query results ◮
Ranked results 1. DB5 , DB7 : Mammals, Complete, Updated 2. DB4 : Mammals, Updated 3.
◮
DB6 : Mammals, Complete DB2 : Complete, Updated but DB2 content is about Fishs DB3 DB8 : Mammals DB1 : Complete but DB1 content is about Fishs
All DBs should be about mammals
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
FCA Lattice-based IR Limits
Limits Analysis of the query results ◮
Ranked results 1. DB5 , DB7 : Mammals, Complete, Updated 2. DB4 : Mammals, Updated DB6 : Mammals, Complete
3.
DB2 : Complete, Updated but DB2 content is about Fishs DB3 DB8 : Mammals DB1 : Complete but DB1 content is about Fishs
◮
All DBs should be about mammals
not the case of DB1 and DB2
Idea ◮ Distinguish between primary goal of the query and secondary information ⇒ Define an order on the query attributes: a hierarchy of attributes
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Formal definition ◮ ◮
A Hierarchy of attributes is a set of attribute dependencies An elementary attribute dependency: m1 ≻ m2 ◮ ◮
◮
secondary attribute m2 depends on main attribute m1 m2 is meaningful only in the presence of m1
General form of attribute dependency: e1 ≻ e2 ◮
e1 and e2 are conjunctions or disjunctions of attributes.
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Formal definition ◮ ◮
A Hierarchy of attributes is a set of attribute dependencies An elementary attribute dependency: m1 ≻ m2 ◮ ◮
◮
General form of attribute dependency: e1 ≻ e2 ◮
◮
secondary attribute m2 depends on main attribute m1 m2 is meaningful only in the presence of m1 e1 and e2 are conjunctions or disjunctions of attributes.
Generalization of the Attribute Dependency Formulas (Belohlavek 05) ◮
m ⊑ m1 ⊔ m2 ⊔ ... ⊔ mn
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Example ◮
Query ◮
◮
DBs containing information about mammals and preferably having complete and updated content
Corresponding hierarchy of attributes ◮
Mammals ≻ (Complete ⊔ Updated)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Example ◮
Query ◮
◮
DBs containing information about mammals and preferably having complete and updated content
Corresponding hierarchy of attributes ◮
Mammals ≻ (Complete ⊔ Updated)
◮
Mammals ≻ (Complete ⊓ Updated)
◮
Mammals ≻ Complete ≻ Updated Mammals ≻ Updated ≻ Complete
◮
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Coherence of formal concepts ◮
Principle: No secondary attribute without a main attribute on which it depends
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Coherence of formal concepts ◮
Principle:
◮
Possible cases
No secondary attribute without a main attribute on which it depends ◮ ◮
◮
◮
◮
◮
m1 ≻ m2 : (A, B) is coherent when m2 ∈ B implies m1 ∈ B (m1 ⊔ ... ⊔ mn ) ≻ mp : (A, B) is coherent when mp ∈ B implies ∃mi , i ∈ {1..n}, mi ∈ B (m1 ⊓ ... ⊓ mn ) ≻ mp : (A, B) is coherent when mp ∈ B implies ∀mi , i ∈ {1..n}, mi ∈ B mp ≻ (m1 ⊔ ... ⊔ mn ): (A, B) is coherent when if ∃mi , i ∈ {1..n}, mi ∈ B implies mp ∈ B mp ≻ (m1 ⊓ ... ⊓ mn ): (A, B) is coherent when if ∀mi , i ∈ {1..n}, mi ∈ B implies mp ∈ B e1 ≻ e2
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Definition Coherence of formal concepts
Coherence of formal concepts ◮
Principle:
◮
Possible cases
No secondary attribute without a main attribute on which it depends
◮ ◮ ◮ ◮ ◮ ◮
◮
m1 ≻ m2 (m1 ⊔ ... ⊔ mn ) ≻ mp (m1 ⊓ ... ⊓ mn ) ≻ mp mp ≻ (m1 ⊔ ... ⊔ mn ) mp ≻ (m1 ⊓ ... ⊓ mn ) e1 ≻ e2
Examples ◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI) ◮ ◮
({DB5 , DB7 },{Mammals, Updated, Complete}) is coherent ({DB2 , DB7 },{Updated, Complete}) is non coherent
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-dependant hierarchy of attributes ◮
Defined for a given query ◮
To express preferences on query attributes ◮
◮
Local preferences
Example ◮ ◮
Query: Mammals, Updated, Complete Preferences: Mammals ≻ (Updated ⊔ Complete)
◮
Ranked results
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-dependant hierarchy of attributes ◮
Defined for a given query ◮
To express preferences on query attributes ◮
◮
Local preferences
Example ◮ ◮
Query: Mammals, Updated, Complete Preferences: Mammals ≻ (Updated ⊔ Complete)
◮
Ranked results 1. DB5 ,DB7 : Mammals, Updated, Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-dependant hierarchy of attributes ◮
Defined for a given query ◮
To express preferences on query attributes ◮
◮
Local preferences
Example ◮ ◮
Query: Mammals, Updated, Complete Preferences: Mammals ≻ (Updated ⊔ Complete)
◮
Ranked results 1. DB5 ,DB7 : Mammals, Updated, Complete 2. DB4 : Mammals, Updated DB6 : Mammals, Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-dependant hierarchy of attributes ◮
Defined for a given query ◮
To express preferences on query attributes ◮
◮
Local preferences
Example ◮ ◮
Query: Mammals, Updated, Complete Preferences: Mammals ≻ (Updated ⊔ Complete)
◮
Ranked results 1. DB5 ,DB7 : Mammals, Updated, Complete 2. DB4 : Mammals, Updated DB6 : Mammals, Complete
3. DB3 , DB8 : Mammals
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-dependant hierarchy of attributes ◮
Defined for a given query ◮
To express preferences on query attributes ◮
◮
Local preferences
Example ◮ ◮
Query: Mammals, Updated, Complete Preferences: Mammals ≻ (Updated ⊔ Complete)
◮
Ranked results 1. DB5 ,DB7 : Mammals, Updated, Complete 2. DB4 : Mammals, Updated DB6 : Mammals, Complete
3. DB3 , DB8 : Mammals
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-independant hierarchy of attributes ◮
Defined for all the queries ◮
◮
Global preferences
Example ◮
Preferences:
DB subjects are more
interesting than DB content quality (Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-independant hierarchy of attributes ◮
Defined for all the queries ◮
◮
Global preferences
Example ◮
Preferences:
DB subjects are more
interesting than DB content quality (Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-independant hierarchy of attributes ◮
Defined for all the queries ◮
◮
Global preferences
Example ◮
Preferences:
DB subjects are more
interesting than DB content quality (Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI) ◮
Query Mammals, Updated, Complete
◮
Ranked results
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Query-independant hierarchy of attributes ◮
Defined for all the queries ◮
◮
Global preferences
Example ◮
Preferences:
DB subjects are more
interesting than DB content quality (Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI) ◮
Query Mammals, Updated, Complete
◮
Ranked results ◮
◮
◮
DB5 ,DB7 : Mammals, Updated, Complete DB4 : Mammals, Updated DB6 : Mammals, Complete DB3 , DB8 : Mammals
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Local preferences ◮
◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
Navigation in the whole lattice ◮
Check the coherence of the destination concept
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Local preferences ◮
◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
Navigation in the whole lattice ◮
Check the coherence of the destination concept
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Local preferences ◮
◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
Navigation in the whole lattice ◮
Check the coherence of the destination concept
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Local preferences ◮
◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
Navigation in the whole lattice ◮
Check the coherence of the destination concept
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Global preferences ◮
DB subjects are more interesting than DB content quality ◮
(Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Lattice-based querying Lattice-based navigation
Navigation with respect to preferences ◮
Global preferences ◮
DB subjects are more interesting than DB content quality ◮
◮
(Mammals ⊔ Birds ⊔ Amphibiens ⊔ Fishs) ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
Reducing the navigation space to coherent concepts ◮
Navigation into the reduced space
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Lattice-based querying Lattice-based navigation
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Outline Introduction Context of the work Problem statement Formal Concept Analysis & Information Retrieval Formal Concept Analysis Lattice-based IR Limits Hierarchy of attributes Definition Coherence of formal concepts Hierarchy of attributes & Lattice-based IR Lattice-based querying Lattice-based navigation Conclusion N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Conclusion
◮
Hierarchies of attributes ◮ ◮
◮
Main attributes, secondary attributes A way to consider preferences on attributes
Application to lattice-based IR ◮
Querying ◮ ◮
◮
More expressiveness in queries: local preferences Querying with respect to global preferences
Navigation with respect to local/global preferences
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Thank you!
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
◮
Italian restaurants with a “dehors” near the Louvre museum (Carpineto & Romano 04) DBs containing information about mammals and preferably having complete and updated content
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
Italian restaurants with a “dehors” near the Louvre museum (Carpineto & Romano 04) ◮
Near the Louvre museum ≻ Italian ≻ with a “dehors”
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
Italian restaurants with a “dehors” near the Louvre museum (Carpineto & Romano 04) ◮ ◮ ◮ ◮
Near the Louvre museum ≻ Italian ≻ with a “dehors” Italian ≻ near the Louvre museum ≻ with a “dehors” Italian ≻ (with a “dehors” ⊓ near the Louvre museum) Italian ≻ (near the Louvre museum ⊔ with a “dehors”)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
DBs containing information about mammals and preferably having complete and updated content ◮
Mammals ≻ (Complete ⊔ Updated)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
DBs containing information about mammals and preferably having complete and updated content
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Semantics ◮
Main attributes ◮
◮
Secondary attributes ◮
◮
Express the goal of the retrieval ⇒ Must be present in each result Give additional information ⇒ Meaningful only when at least main attribute is present
Examples ◮
DBs containing information about mammals and preferably having complete and updated content ◮ ◮ ◮ ◮
Mammals ≻ (Complete ⊔ Updated) Mammals ≻ (Complete ⊓ Updated) Mammals ≻ Complete ≻ Updated Mammals ≻ Updated ≻ Complete
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Hierarchy of coherent concepts ◮
Removing non coherent concepts
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Hierarchy of coherent concepts ◮
Removing non coherent concepts ◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR
Introduction FCA & IR Hierarchy of attributes HA & Lattice-based IR Conclusion
Hierarchy of coherent concepts ◮
Removing non coherent concepts ◮
Mammals ≻ (Complete ⊔ Updated ⊔ GO ⊔ NCBI)
N Messai, M-D Devignes, A Napoli, M Sma¨ıl-Tabbone
Extending Attribute Dependencies for Lattice-based IR