Protege

swMATH17512MaRDI QIDQ29370FDOQ29370

Author name not available (Why is that?)

Official website: https://protege.stanford.edu/

Cited In (41)

• 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
• Lakemaker
• MnM
• Sonic
• WebODE
• DeLorean
• Snorocket
• SUMO
• DEX
• Fluent Editor
• rOntorion
• 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