Protege
From MaRDI portal
swMATH17512MaRDI QIDQ29370FDOQ29370
Author name not available (Why is that?)
Official website: https://protege.stanford.edu/
Cited In (75)
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- Digital product data exchange in semantic service-oriented architecture
- Knowledge-based spatiotemporal linear abstraction
- Springer Handbook of Bio-/Neuroinformatics
- Memory-limited model-based diagnosis
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Foundations of Information and Knowledge Systems
- Granular computing applied to ontologies
- An experimental ontology server for an information grid environment
- Evaluation of automatic generation of basic stories
- Tutorial on ontological engineering. II: Ontology development, tools and languages
- Reasoning with concept diagrams about antipatterns in ontologies
- An intelligent management system for the development of a regional transport logistics infrastructure
- A survey of commonsense knowledge acquisition
- CLIPS
- Pellet
- OntCheck
- PaladinRM
- Proclets
- Lakemaker
- FaCT++
- Racer
- Jena
- Chainsaw
- COROR
- HermiT
- DReW
- TrOWL
- swrl
- RealityGrid
- OLSIM
- VIGOLT
- MnM
- Sonic
- WebODE
- SOVA
- DeLorean
- NeOn
- Speedith
- Snorocket
- DAMLJessKB
- Jess
- SUMO
- Swoop
- MERGEXPLAIN
- OntoDebug
- ORE
- AmiGO
- VOWL
- Swoogle
- D2RQ
- Turtle
- DEX
- KL-ONE
- Isabelle/DOF
- Fluent Editor
- rOntorion
- Amine
- Natural language directed inference from ontologies
- Optimizing terminological reasoning for expressive description logics
- MOLE
- RESUME
- SALT
- Computing the least common subsumer w.r.t. a background terminology
- The use of ontologies for representing database schemas of fuzzy information
- An approach to expert assessment in software engineering
- Type-2 fuzzy description logic
- Applications in intelligent systems of knowledge discovery methods based on human–machine interaction
- Semantic links in integrated modelling frameworks
- OntoDebug: interactive ontology debugging plug-in for Protégé
- A framework for knowledge-based temporal abstraction
- Ontology-enabled validation of connectivity relationships in a home theater system
- Using the Isabelle ontology framework -- linking the formal with the informal
- An ontology analysis tool
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Protege
