Cited in
(82)- OntCheck: an ontology-driven static correctness checking tool for component-based models
- Knowledge-based spatiotemporal linear abstraction
- Digital product data exchange in semantic service-oriented architecture
- Springer Handbook of Bio-/Neuroinformatics
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Memory-limited model-based diagnosis
- Granular computing applied to ontologies
- Foundations of Information and Knowledge Systems
- 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
- An intelligent management system for the development of a regional transport logistics infrastructure
- Reasoning with concept diagrams about antipatterns in ontologies
- OilEd
- OntoEdit
- RuleML
- DAML+OIL
- S-CREAM
- GOOSE
- WSOL
- CLIPS
- Pellet
- OntCheck
- PaladinRM
- Proclets
- Lakemaker
- FaCT++
- Racer
- Jena
- Chainsaw
- COROR
- HermiT
- DReW
- TrOWL
- swrl
- RealityGrid
- OLSIM
- VIGOLT
- MnM
- Sonic
- WebODE
- A survey of commonsense knowledge acquisition
- 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
- MOLE
- RESUME
- SALT
- Natural language directed inference from ontologies
- Optimizing terminological reasoning for expressive description logics
- Computing the least common subsumer w.r.t. a background terminology
- An approach to expert assessment in software engineering
- Type-2 fuzzy description logic
- The use of ontologies for representing database schemas of fuzzy information
- 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
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- An ontology analysis tool
This page was built for software: Protege
