set name=pkg.fmri value=pkg://lnf/developer/hets/factplusplus@1.6.4,5.11-1.3.4.5.2:20160220T231642Z
set name=pkg.summary value="DL reasoner FaCT++"
set name=pkg.description value="FaCT++ (FAst Classification of Terminologies) is a DL (Description Logic) reasoner written in C++. It supports OWL-DL and (partially) OWL2-DL. The missing bits are: a) No support for keys and b) Partial datatype support. At the moment, the only supported datatypes are Literal, string, anyURI, boolean, float, double, integer, int, nonNegativeInteger, dateTime. This package contains the standalone binary with a lisp-like interface as well as the FaCT++ java plugin for Protege 4, which contains all Java related things provided by FaCT++."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://bitbucket.org/dtsarkov/factplusplus/downloads
set name=variant.arch value=i386
file e8f95f73cbf4840cc87abfc064b566b1a6556658 chash=69dacc779f87c0be4ba8b20a0c2b7049b8c9110b elfarch=i386 elfbits=64 elfhash=909457358cc537c0de890bb573fe61bbfd2dd264 group=bin mode=0755 owner=bin path=local/usr/bin/FaCT++ pkg.csize=537777 pkg.size=1741248
link path=local/usr/bin/fact++ target=FaCT++
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/factplusplus
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/DataTypeTest
file 6f4594acfd2415b0c5fc643b50ea6da043395238 chash=253309021df2824d23f8f69fbc32f029bac96abe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/DataTypeTest/DataTypeTest.conf pkg.csize=1885 pkg.size=5440
file e36a1663010fd21442e0185a2a43dd099ab72482 chash=943b5532be5e0a37a9fa179f7edac072805ada14 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/DataTypeTest/DataTypeTest.tbox pkg.csize=1467 pkg.size=12099
file 7050028174eb101e246be753213e2cf65c654100 chash=bafb3dc5bfa6d9e99241465af3fe087dab993a13 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/DataTypeTest/Makefile pkg.csize=228 pkg.size=318
file 705f66a0d07e975110dd0aa473bda3dfa91fee2b chash=a055af9a7c36942b26b0957ac0278ee8f56856fe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/Makefile.default pkg.csize=167 pkg.size=205
file 73e8cd73ba626e9a9db1ab261c3b83d5b88155aa chash=fdf043069daaa2e1e0a7614fa7c3ec2f1a4c71ae facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/create-new-test pkg.csize=530 pkg.size=1185
file 5c24a9cb15261c90525e3912c62cd4100cb96ffc chash=9551574b53eee704e9ea0ef2611453e364ecaefe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/options.default pkg.csize=1765 pkg.size=5182
file a71a6c1b3c2f1c8d0111af6b7951a3a29cc787ae chash=93ac1720f77d33cdb1f11248613a7684a14c3881 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/Models.lisp/query.default pkg.csize=173 pkg.size=232
file 969e9ce0a45a27347d883105c0f3c5addde56c5f chash=b0505da09cfe3f03b6905bc58dfca2f547cc2a4c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/README pkg.csize=1157 pkg.size=2613
file 0bbfc9f085c78983c10e55c9ca05704d3ba9ef94 chash=b274b3e1bfb9908e48d1d8d89c415feca0cc5cc7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/factplusplus/README.java pkg.csize=731 pkg.size=1464
file 487f38b1ede78459a008beeaeaea8f37195db6f9 chash=08ca4156b5442af4e9704540d22d18532f9b53f2 elfarch=i386 elfbits=64 elfhash=aa82a903aaa8d51fe6e73ae67432b94865c414db group=bin mode=0755 owner=bin path=local/usr/share/java/protege4/plugins/lib/sunos/x64/libFaCTPlusPlusJNI.so pkg.csize=664834 pkg.size=2224424
file 32cd166853ed5d49f7c1cc091959648198cdad05 chash=62de0e9c7f1e0a365b2a42766f26b5baf513d57c group=bin mode=0444 owner=bin path=local/usr/share/java/protege4/plugins/uk.ac.manchester.cs.owl.factplusplus.jar pkg.csize=708067 pkg.size=720144
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/factplusplus" name="DL reasoner FaCT++" pkg=LNFfactplusplus version=1.6.4
license 5e34db5a22e219e700388f94d16e53e7027af2de chash=77186a83401778ede76dbb75a0cff5710e457e7c license=LNFfactplusplus.copyright pkg.csize=79 pkg.size=59
depend fmri=pkg:/system/library/gcc/gcc-c++-runtime@4.8 type=require
depend fmri=pkg:/system/library/gcc/gcc-c-runtime@4.8 type=require
depend fmri=pkg:/system/library@0.5 type=require