Protege
From MaRDI portal
Software:29370
No author found.
Related Items (28)
Memory-limited model-based diagnosis ⋮ Reasoning with concept diagrams about antipatterns in ontologies ⋮ Computing the least common subsumer w.r.t. a background terminology ⋮ OntCheck: an ontology-driven static correctness checking tool for component-based models ⋮ An intelligent management system for the development of a regional transport logistics infrastructure ⋮ OntoDebug: interactive ontology debugging plug-in for Protégé ⋮ Natural language directed inference from ontologies ⋮ An experimental ontology server for an information grid environment ⋮ Springer Handbook of Bio-/Neuroinformatics ⋮ Type-2 fuzzy description logic ⋮ Evaluation of automatic generation of basic stories ⋮ A framework for knowledge-based temporal abstraction ⋮ Applications in intelligent systems of knowledge discovery methods based on human–machine interaction ⋮ The use of ontologies for representing database schemas of fuzzy information ⋮ Semantic links in integrated modelling frameworks ⋮ Optimizing terminological reasoning for expressive description logics ⋮ Tutorial on ontological engineering. II: Ontology development, tools and languages ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ Digital product data exchange in semantic service‐oriented architecture ⋮ Granular computing applied to ontologies ⋮ An ontology analysis tool ⋮ Using the Isabelle ontology framework -- linking the formal with the informal ⋮ A survey of commonsense knowledge acquisition ⋮ Knowledge-based spatiotemporal linear abstraction ⋮ Foundations of Information and Knowledge Systems ⋮ An approach to expert assessment in software engineering ⋮ Ontology-enabled validation of connectivity relationships in a home theater system ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Protege
