|
The '''Logic File System''' is a research file system which replaces pathnames with expressions in [[propositional logic]]. It allows file metadata to be queried with a superset of the [[Boolean algebra (logic)|Boolean]] syntax commonly used in modern [[search engine]]s.
The actual name is the '''Logic Information Systems File System''', and is abbreviated '''LISFS''' to avoid confusion with the [[log-structured file system]] (LFS). An implementation of the Logic File System is available at the LISFS website.<ref>{{cite web|url=http://lfs.irisa.fr |title=The Logical Information Systems web page |accessdate=March 13, 2006 |url-status=dead |archiveurl=https://web.archive.org/web/20060510035848/http://lfs.irisa.fr/ |archivedate=May 10, 2006 }}</ref>
An implementation of the Logic File System is available at the LFS website [http://lfs.irisa.fr].
It is intended to be used on Unix-like operating systems and is a bit difficult to install, as it needs several non-standard [[OCaml]] modules.
== References ==
{{reflist}}
;Notes
* Ferré, Sébastian and Ridoux, Olivier (2000). "[http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis]."
* Padioleau, Yoann and Ridoux, Olivier (2003). "[http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System]."
* Padioleau, Yoann and Ridoux, Olivier (2005). "[http://www.usenix.org/events/usenix05/tech/general/padioleau.html A Parts of File File System]."
== External links ==
* {{webarchive |url=https://web.archive.org/web/20090430140852/http://lfs.irisa.fr/ |date=April 30, 2009 |title=The Logical Information Systems }}
* [https://web.archive.org/web/20110823233241/http://padator.org/wiki/wiki-LFS/doku.php LFS new homepage]
[[Category:Computer file systems]]
* The Logical Information Systems [http://lfs.irisa.fr homepage].
[[Category:Semantic file systems]]
{{compu-stub}}
<div style="display:none">
[We are delicate. We do not delete your content.]
[l_sp3]
{{operating-system-stub}}
[http://www.buddyprofile.com/viewprofile.php?username=waterfordcrystal waterford crystal]
[http://www.buddyprofile.com/viewprofile.php?username=swarovskicrystal swarovski crystal bead]
[http://www.buddyprofile.com/viewprofile.php?username=mesotheliomalawsuits mesothelioma lawsuits]
[http://www.buddyprofile.com/viewprofile.php?username=mesotheliomasymptoms mesothelioma symptoms]
[http://www.buddyprofile.com/viewprofile.php?username=mesotheliomadiag mesothelioma diagnosis]
[http://www.buddyprofile.com/viewprofile.php?username=wacoalbras wacoal bras]
[http://www.buddyprofile.com/viewprofile.php?username=teenbra teen bra]
[http://www.buddyprofile.com/viewprofile.php?username=unsecuredloan unsecured signature loan]
[http://www.buddyprofile.com/viewprofile.php?username=homeloans Countrywide Home Loans]
[http://blog.moddingplanet.it/?w=formalpromdresses Formal Prom Dresses]
[http://blog.moddingplanet.it/?w=sexypromdress Sexy Prom Dress]
[http://blog.moddingplanet.it/?w=cocktaildresses cocktail dresses]
[http://www.buddyprofile.com/viewprofile.php?username=telmobile TMobile]
[http://www.buddyprofile.com/viewprofile.php?username=watersoftener water softener]
[http://www.buddyprofile.com/viewprofile.php?username=tanklesswaterheater tankless water heater]
[http://www.buddyprofile.com/viewprofile.php?username=rockportshoes rockport shoes]
[http://www.buddyprofile.com/viewprofile.php?username=osmosiswaterfilter reverse osmosis water filter]
[http://www.buddyprofile.com/viewprofile.php?username=merrellshoes merrell shoes]
[http://www.buddyprofile.com/viewprofile.php?username=oscardresses oscar dresses]
[http://www.buddyprofile.com/viewprofile.php?username=easterdresses easter dresses]
[http://www.buddyprofile.com/viewprofile.php?username=plussizepromdresses plus size prom dresses]
[http://www.buddyprofile.com/viewprofile.php?username=discountpromdresses discount prom dresses]
[http://blog.moddingplanet.it/?w=hooterscasinolas Hooters Casino Las Vegas]
[http://blog.moddingplanet.it/?w=grandcasinomille grand casino mille lacs]
[http://blog.moddingplanet.it/?w=lasvegascasino las vegas casino coupons]
[http://blog.moddingplanet.it/?w=onlinepokeraide online poker aide]
[http://blog.enter.net/soaringeaglec soaring eagle casino]
[http://blog.enter.net/grandcasinot grand casino tunica]
[http://blog.enter.net/oscardresses oscar dresses]
[http://www.donx.de/blog/pechangacasino pechanga casino]
[http://www.donx.de/blog/grandvictoriacasino/ grand victoria casino]
[http://www.donx.de/blog/ballgowns/ ball gowns]
</div>
| 