Evaluando los razonadores OWL en 2023: Una revisión crítica
Una visión general de las capacidades de los razonadores OWL y los desafíos de usabilidad en 2023.
― 6 minilectura
Tabla de contenidos
- ¿Qué es un Razonador OWL?
- La Importancia de Evaluar los Razonadores OWL
- Metodología
- Panorama Actual de los Razonadores OWL
- Hallazgos Clave
- Aspectos Positivos de los Razonadores OWL
- Aspectos Negativos de los Razonadores OWL
- Direcciones Futuras
- Lista de Razonadores OWL Utilizables
- Conclusión
- Fuente original
- Enlaces de referencia
Este artículo analiza la capacidad de los razonadores OWL en 2023. Su objetivo es proporcionar un análisis simplificado del estado de estas herramientas en la organización y gestión del conocimiento. Los razonadores OWL son software clave que ayudan a hacer conclusiones lógicas a partir de un conjunto de reglas y hechos.
¿Qué es un Razonador OWL?
Un razonador OWL es una herramienta que infiere lógicamente nueva información a partir de datos existentes, a menudo usada en tecnologías de la Web Semántica. Puede determinar si los datos son consistentes, verificar reglas y derivar nuevos hechos. Estos razonadores ayudan a entender relaciones complejas de datos en áreas como la inteligencia artificial y la gestión de datos.
La Importancia de Evaluar los Razonadores OWL
Con el rápido desarrollo de la tecnología y la creciente necesidad de herramientas efectivas de gestión de datos, es necesario evaluar la Usabilidad y el Mantenimiento de los razonadores OWL. Esta revisión es esencial porque muchos análisis existentes están desactualizados y nuevos proyectos pueden introducir mejores soluciones.
Metodología
Para evaluar la usabilidad de los razonadores OWL, se realizó una investigación exhaustiva. Esto implicó revisar más de 100 razonadores OWL y recopilar información sobre su rendimiento, actualizaciones y estado general. Se identificaron un total de 95 sistemas utilizables, junto con los detalles de sus proyectos, código fuente y enlaces de Documentación.
Panorama Actual de los Razonadores OWL
A pesar de la abundancia de razonadores OWL existentes, muchos de los más conocidos no se han actualizado en años. Algunos, aunque todavía son utilizables, pueden no ser adecuados para nuevos proyectos debido a funcionalidades desactualizadas o falta de soporte. El análisis destacó que algunos razonadores comúnmente usados apenas se mantienen, lo cual genera preocupaciones sobre su fiabilidad futura.
Razonadores OWL Comúnmente Usados
- HermiT: Esta herramienta no ha tenido actualizaciones significativas en la última década. Aún es utilizable, pero genera dudas sobre su mantenimiento para proyectos en curso.
- Pellet: Este también no ha sido mantenido activamente y es conocido por apoyar a individuos y tipos de datos definidos por el usuario.
- FaCT++: Aunque este razonador tiene un historial de buen rendimiento, no ha recibido actualizaciones recientes.
Preocupaciones de Usabilidad
Muchos usuarios encuentran desafíos al intentar usar estos razonadores. Estos incluyen:
- Documentación que carece de detalle o está incompleta.
- Dependencias de entornos de software desactualizados.
- Dificultad para obtener y configurar el software correctamente.
Hallazgos Clave
El estudio reveló hallazgos importantes sobre el estado actual de los razonadores OWL:
- Mantenimiento Activo: Solo una pequeña fracción de los razonadores OWL están siendo mantenidos activamente, lo que significa que han sido actualizados o soportados en los últimos tres años.
- Problemas de Documentación: Muchos proyectos ofrecen poca o ninguna documentación, dificultando que los nuevos usuarios comiencen.
- Banderas Rojas de Usabilidad: Algunos razonadores son más bien prototipos, lo que genera posibles problemas de estabilidad para los usuarios que buscan soluciones fiables.
Aspectos Positivos de los Razonadores OWL
A pesar de estos desafíos, se notaron varios aspectos positivos:
- Base Científica: La mayoría de los razonadores están respaldados por investigaciones y publicaciones científicas que detallan su diseño y función.
- Diversidad: Los razonadores OWL vienen en varios lenguajes de programación y marcos, permitiendo a los usuarios elegir uno que se adapte a sus necesidades específicas.
- Interés Continuado: Están surgiendo nuevos proyectos, lo que indica que todavía hay interés e inversión en el campo de la gestión del conocimiento.
Aspectos Negativos de los Razonadores OWL
Junto a los aspectos positivos, hay notables negativos:
- Mala Mantenimiento: Muchos razonadores carecen de desarrollo continuo, lo que limita su efectividad y fiabilidad.
- Enfoque a Corto Plazo: Una cantidad significativa del software analizado estaba en etapas de prototipo, lo que genera dudas sobre su uso práctico en proyectos a largo plazo.
- Falta de Documentación Amigable para el Usuario: La ausencia de documentación clara y accesible impide que los nuevos usuarios utilicen efectivamente estas herramientas.
Direcciones Futuras
Para mejorar la situación, es vital realizar un análisis y comparación adicional de los razonadores OWL utilizables. Esto ayudará a identificar las mejores opciones disponibles ahora, asegurando que los usuarios puedan tomar decisiones informadas al seleccionar un razonador para sus proyectos.
Recomendaciones para Usuarios
- Investiga a Fondo: Antes de elegir un razonador OWL, realiza una investigación exhaustiva para entender su estado actual y nivel de mantenimiento.
- Mantente Actualizado: Mantente atento a actualizaciones y cambios en los razonadores OWL y prepárate para cambiar a nuevas alternativas si es necesario.
- Contribuye a la Documentación: Si usas un razonador que carece de documentación, considera compartir tus conocimientos para ayudar a futuros usuarios.
Lista de Razonadores OWL Utilizables
Esta es una lista detallada de razonadores OWL que aún se consideran utilizables en 2023, junto con sus características y capacidades clave.
- AllegroGraph: Una base de datos de gráfico RDF con soporte para RDFS++.
- Arachne: Un motor de reglas para terminologías OWL RL.
- BaseVISor: Una máquina de inferencia optimizada para razonamiento basado en reglas.
- BORN: Un razonador de ontología bayesiana capaz de manejar información probabilística.
- CEL: Un razonador ligero para ontologías biomédicas en OWL 2 EL.
- Clipper: Un motor de respuestas de consulta para ontologías Horn-SHIQ.
- Elephant: Un prototipo de razonador enfocado en el uso eficiente de memoria.
- ELK: Un razonador OWL 2 EL conocido por su rendimiento.
- EYE: Una herramienta de razonamiento que usa Prolog para alta portabilidad.
- FaCT++: Un razonador OWL DL eficiente con buen historial de rendimiento.
- JFact: Un razonador basado en Java conocido por su velocidad y simplicidad.
- OWL API: Una herramienta para gestionar ontologías OWL.
Conclusión
El estado de los razonadores OWL en 2023 muestra una mezcla de promesas y desafíos. Si bien la base de muchas de estas herramientas es fuerte, los problemas de mantenimiento y usabilidad siguen siendo un tema. Esta evaluación anima a usuarios y desarrolladores a trabajar juntos para abordar estas deficiencias, fomentando un futuro más robusto para las herramientas de razonamiento OWL en la gestión del conocimiento.
Al entender las fortalezas y debilidades de las tecnologías actuales, se pueden hacer mejoras futuras para establecer un camino claro para el desarrollo y la utilización de razonadores OWL efectivos.
Título: OWL Reasoners still useable in 2023
Resumen: In a systematic literature and software review over 100 OWL reasoners/systems were analyzed to see if they would still be usable in 2023. This has never been done in this capacity. OWL reasoners still play an important role in knowledge organisation and management, but the last comprehensive surveys/studies are more than 8 years old. The result of this work is a comprehensive list of 95 standalone OWL reasoners and systems using an OWL reasoner. For each item, information on project pages, source code repositories and related documentation was gathered. The raw research data is provided in a Github repository for anyone to use.
Autores: Konrad Abicht
Última actualización: 2023-09-13 00:00:00
Idioma: English
Fuente URL: https://arxiv.org/abs/2309.06888
Fuente PDF: https://arxiv.org/pdf/2309.06888
Licencia: https://creativecommons.org/licenses/by/4.0/
Cambios: Este resumen se ha elaborado con la ayuda de AI y puede contener imprecisiones. Para obtener información precisa, consulte los documentos originales enlazados aquí.
Gracias a arxiv por el uso de su interoperabilidad de acceso abierto.
Enlaces de referencia
- https://github.com/k00ni/owl-reasoner-list
- https://protege.stanford.edu/
- https://www.w3.org/TR/owl2-profiles/
- https://owlcs.github.io/owlapi/
- https://owl.cs.manchester.ac.uk/tools/list-of-reasoners/
- https://www.w3.org/2001/sw/wiki/OWL/Implementations
- https://www.w3.org/TR/owl-features/
- https://www.playonlinux.com/en/
- https://www.winehq.org/
- https://scholar.google.com/
- https://www.github.com
- https://www.linuxfoundation.org/blog/hosting-open-source-projects-on-github-nine-things-you-need-to-know
- https://en.wikipedia.org/wiki/Jar
- https://allegrograph.com/products/allegrograph/
- https://franz.com/agraph/support/documentation/current/agraph-introduction.html
- https://allegrograph.com/white-papers/
- https://franz.com/agraph/downloads/
- https://github.com/franzinc?tab=repositories
- https://franz.com/agraph/support/documentation/current/reasoner-tutorial.html
- https://github.com/balhoff/arachne
- https://github.com/balhoff/arachne/issues/146
- https://github.com/balhoff/arachne-protege
- https://github.com/balhoff/arachne/issues/5
- https://vistology.com/products/basevisor/
- https://github.com/julianmendez/born
- https://sourceforge.net/projects/latitude/files/born/0.3.0/born-0.3.0.zip/download
- https://github.com/julianmendez/born/commit/028bdf00f25594d9f1edb22ce91119d3093386b3
- https://julianmendez.github.io/born/
- https://sourceforge.net/projects/latitude/files/cel/
- https://github.com/julianmendez/cel
- https://sourceforge.net/projects/latitude/files/cel/0.6.0/de.tu-dresden.inf.lat.cel.Jar-0.6.0.zip/download
- https://github.com/julianmendez/cel/commit/36b3e62bd26278d79874d0fe7ee49a6f70ff2bcc
- https://sourceforge.net/projects/latitude/files/cel/cel/cel-manual.pdf
- https://github.com/ghxiao/clipper
- https://www.kr.tuwien.ac.at/research/systems/clipper/download.html
- https://www.dlvsystem.com/dlvsystem/index.php/DLV
- https://github.com/sertkaya/elephant-reasoner
- https://github.com/sertkaya/elephant-reasoner/compare/v.0.5.9...master
- https://github.com/sertkaya/elephant-reasoner/releases/tag/v.0.5.9
- https://github.com/sertkaya/elephant-reasoner/blob/master/README
- https://github.com/liveontologies/elk-reasoner/wiki
- https://github.com/liveontologies/elk-reasoner/releases
- https://oss.sonatype.org/service/local/artifact/maven/content?r=snapshots
- https://github.com/liveontologies/elk-reasoner/wiki/GettingElk
- https://janusgraph.org/
- https://github.com/IBM/expressive-reasoning-graph-store
- https://github.com/eyereasoner/eye-js
- https://eulersharp.sourceforge.net/
- https://eyereasoner.github.io/eye/
- https://github.com/eyereasoner/eye
- https://n3.restdesc.org/
- https://github.com/eyereasoner/eye/blob/master/documentation/command
- https://bitbucket.org/dtsarkov/factplusplus/downloads/
- https://bitbucket.org/dtsarkov/factplusplus/commits/650a50ce78a2f9c7fd609a2ee82b72b6e25f34ee
- https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.Jar
- https://github.com/emmo-repo/EMMO/blob/7a4b825e310c5362f4c407b5c38192eb3013e37f/doc/installing
- https://www.umbertostraccia.it/cs/software/fuzzyDL/fuzzyDL.html
- https://www.umbertostraccia.it/cs/software/FuzzyOWL/index.html
- https://www.umbertostraccia.it/cs/software/fuzzyDL/download.html
- https://www.hermit-reasoner.com/
- https://github.com/phillord/hermit-reasoner
- https://github.com/phillord/hermit-reasoner/commit/37ec30aced32ac81ebecc5e33fad255ddefcb4c3
- https://github.com/phillord/hermit-reasoner/pull/3
- https://Jar-download.com/?search
- https://protegewiki.stanford.edu/wiki/HermiT
- https://github.com/julianmendez/jcel
- https://sourceforge.net/projects/jcel/files/jcel/0.24.1/zip/jcel-0.24.1.zip/download
- https://github.com/julianmendez/jcel/releases
- https://github.com/julianmendez/jcel/commit/cdfb5f77312f84a6b81531d7be9974783756ff12
- https://jfact.sourceforge.net/
- https://github.com/owlcs/jfact
- https://sourceforge.net/projects/jfact/files/
- https://github.com/owlcs/jfact/tags
- https://github.com/owlcs/jfact/issues/18
- https://en.wikipedia.org/wiki/Ontoprise
- https://kaon2.semanticweb.org/
- https://kaon2.semanticweb.org/release/kaon2-bin-2008-06-29.zip
- https://contribute.qt-project.org/
- https://www.derivo.de/en/products/konclude/download/
- https://github.com/konclude/Konclude/releases
- https://github.com/konclude/Konclude/tree/master
- https://github.com/lifr-reasoner/lifr
- https://github.com/lifr-reasoner/lifr/issues/2
- https://www.cecill.info/licences/Licence
- https://gitlab.com/coswot/lirot
- https://github.com/benhid/nora
- https://github.com/benhid/nora/commit/8d591656cb38068422fd0889d6fb8d7ca4835f9f
- https://itis.uma.es/en/personal/antonio-benitez-hidalgo-2/
- https://ontop-vkg.org/
- https://github.com/ontop/ontop
- https://ontop-vkg.org/guide/getting-started.html
- https://ontop-vkg.org/guide
- https://ontop-vkg.org/guide/cli.html
- https://ontop-vkg.org/tutorial/endpoint/
- https://github.com/Galigator/openllet
- https://github.com/Galigator/openllet/releases
- https://github.com/Galigator/openllet/commit/3abccbfc0eec54233590cd4149055b78351e374d
- https://github.com/Galigator/openllet/tree/integration/examples/src/main/java/openllet/examples
- https://mvnrepository.com/artifact/com.github.galigator.openllet/openllet-protege
- https://Jar-download.com/artifacts/com.github.galigator.openllet/openllet-protege/2.6.5
- https://github.com/RDFLib/rdflib
- https://github.com/RDFLib/OWL-RL
- https://github.com/RDFLib/OWL-RL/blob/master/README.rst
- https://owl-rl.readthedocs.io/en/latest/installation.html
- https://www.mindswap.org/2003/pellet/
- https://github.com/severin-lemaignan/pellet
- https://github.com/stardog-union
- https://github.com/stardog-union/pellet/blob/master/README.md
- https://github.com/severin-lemaignan/pellet/commit/7710fb0f258c081d5dfe8f8af0f829e1a73d2250
- https://github.com/stardog-union/pellet/commit/4c7d16bd1811ec04117fa4cd96ed592c6cfa956b
- https://github.com/stardog-union/pellet/pulls
- https://docs.oxfordsemantic.tech/reasoning.html
- https://www.oxfordsemantic.tech/downloads
- https://www.oxfordsemantic.tech/tryrdfoxforfree
- https://docs.oxfordsemantic.tech/getting-started.html
- https://github.com/mdesalvo/RDFSharp
- https://en.wikipedia.org/wiki/C
- https://github.com/mdesalvo/RDFSharp.Semantics
- https://www.nuget.org/packages/RDFSharp.Semantics
- https://github.com/mdesalvo/RDFSharp.Semantics/releases/tag/v3.5.0
- https://github.com/gtfierro/reasonable
- https://github.com/gtfierro?tab=packages
- https://github.com/gtfierro/reasonable/releases/tag/nightly
- https://docs.rs/reasonable/latest/reasonable/
- https://github.com/gtfierro/reasonable/issues/24
- https://github.com/andrewdbate/Sequoia
- https://github.com/andrewdbate/Sequoia/issues/3
- https://github.com/rzese/trill
- https://github.com/friguzzi/trill-on-swish
- https://www.swi-prolog.org/
- https://trill-sw.eu/p/thrt.pl
- https://github.com/rzese/trill/tree/master/doc
- https://github.com/vprover/vampire
- https://github.com/vprover/vampire/releases
- https://vprover.github.io/download.html
- https://vprover.github.io/usage.html
- https://github.com/karmaresearch/vlog/wiki
- https://github.com/karmaresearch/vlog
- https://github.com/karmaresearch/vlog/releases
- https://github.com/karmaresearch/vlog/wiki/Usage
- https://robot.obolibrary.org/reason
- https://github.com/balhoff/whelk/releases/tag/v1.1.1
- https://github.com/balhoff/whelk
- https://github.com/balhoff/whelk/releases
- https://github.com/balhoff/whelk/issues/217
- https://balhoff.github.io/whelk-web/
- https://aber-owl.net/
- https://ml.unife.it/disponte/
- https://ml.unife.it/bundle/
- https://bundle.ml.unife.it/examples
- https://bitbucket.org/machinelearningunife/bundle/src/master/README.md
- https://bitbucket.org/machinelearningunife/bundle/wiki/BUNDLE
- https://bitbucket.org/ignazio1977/chainsaw/src/master/
- https://sourceforge.net/projects/chainsaw/
- https://iddl.gforge.inria.fr/
- https://code.google.com/archive/p/elog-reasoner/
- https://executor.informatik.uni-mannheim.de/systems/elog/
- https://code.google.com/archive/p/elog-reasoner/source/default/commits
- https://owl.man.ac.uk/hoolet/
- https://www.daml.org/meetings/2004/05/pi/pdf/Hoolet.pdf
- https://www.image.ece.ntua.gr/
- https://code.google.com/archive/p/owlreasoner/
- https://github.com/ucbl/HyLAR-Reasoner
- https://www.npmjs.com/package/hylar
- https://github.com/anaphylactic/MORe/issues/1
- https://xsb.sourceforge.net/
- https://github.com/NoHRReasoner/NoHR
- https://github.com/KRR-Oxford/PAGOdA
- https://github.com/liyuanfang/r2o2-star
- https://dl.bintray.com/komiya-atsushi/maven
- https://dl.bintray.com/komiya-atsushi/maven/biz/k11i/xgboost-predictor/0.3.0/xgboost-predictor-0.3.0.pom
- https://www.cs.ox.ac.uk/isg/tools/Requiem/
- https://github.com/ghxiao/requiem
- https://github.com/justin2004/pomify-REQUIEM
- https://logic.aifb.uni-karlsruhe.de/screech
- https://github.com/TrOWL/core
- https://trowl.eu/
- https://code.google.com/archive/p/wsclassifier/
- https://bossam.wordpress.com/
- https://bossam.wordpress.com/2007/08/18/new-api/
- https://www.cs.ox.ac.uk/isg/projects/ConDOR/
- https://github.com/ykazakov/cb-reasoner
- https://github.com/ykazakov/cb-reasoner/issues/2
- https://github.com/ykazakov/cb-reasoner/blob/master/INSTALL
- https://www.w3.org/TR/daml+oil-reference/
- https://www2003.org/cdrom/papers/poster/p087/Poster87.html
- https://khaos.uma.es/dbowl
- https://redis.io/
- https://github.com/raghavam/DistEL
- https://www.bell-labs.com/user/pfps/dlp
- https://github.com/ghxiao/drew
- https://www.dlvsystem.com/dlv/
- https://www.iris-reasoner.org/
- https://elly.sourceforge.net/
- https://lat.inf.tu-dresden.de/research/theses/2017/Mic-Bac-17.pdf
- https://github.com/attalos/fl0wer
- https://maven.apache.org/
- https://github.com/attalos/fl0wer/issues/1
- https://github.com/agnantis/hs-reasoner
- https://github.com/agnantis/hs-reasoner/issues/1
- https://github.com/adrianomelo/leancor
- https://www.leancop.de/index.html
- https://github.com/adrianomelo/leancor/blob/master/leancop.sh
- https://www.leancor.org/
- https://github.com/pwub/lillytab
- https://swot.sisinflab.poliba.it/tinyme/
- https://swot.sisinflab.poliba.it/minime-swift/index.html
- https://developer.apple.com/swift/
- https://swot.sisinflab.poliba.it/minime/
- https://swot.sisinflab.poliba.it/minime-swift/
- https://swot.sisinflab.poliba.it/minime/plugin.html
- https://www.semanticweb.org/wiki/Owlgres.html
- https://pellet.owldl.com/owlgres
- https://www.uni-koblenz.de/
- https://github.com/klinovp/pronto
- https://github.com/jrbn/querypie
- https://hadoop.apache.org/
- https://github.com/ArArgyridis/SPOR
- https://github.com/gnorasi/gnorasi
- https://www.ifis.uni-luebeck.de/~moeller/racer/index.html
- https://github.com/ha-mo-we/Racer
- https://github.com/ha-mo-we/Racer/blob/master/doc/users-guide-2-0.pdf
- https://www.racer-systems.com/products/download/index.phtml
- https://protegewiki.stanford.edu/wiki/P4
- https://protegewiki.stanford.edu/wiki/Protege
- https://www.alphaworks.ibm.com/tech/sher
- https://github.com/aehrc/snorocket
- https://protegewiki.stanford.edu/wiki/Snorocket
- https://github.com/straccia/SoftFacts
- https://spark.apache.org/
- https://github.com/raghavam/sparkel
- https://github.com/raghavam/sparkel/blob/master/script/install-all.sh
- https://protegewiki.stanford.edu/wiki/SWRL-IQ
- https://protegewiki.stanford.edu/images/5/57/SWRL-IQ
- https://www.onistt.org/display/SWRLIQ/SWRL-IQ
- https://code.google.com/archive/p/treasoner/
- https://www.few.vu.nl/~jui200/webpie.html
- https://github.com/wolpertinger-reasoner/Wolpertinger
- https://github.com/wolpertinger-reasoner/Wolpertinger/issues/2
- https://www.cbasynergy.net/cba/ki-werk.html