The following pages link to Handbook on Ontologies (Q2885327):
Displaying 35 items.
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- Logical handling of uncertain, ontology-based, spatial information (Q835161) (← links)
- Ontologies. A handbook of principles, concepts and applications in information systems. (Q855266) (← links)
- Rough sets: some extensions (Q867595) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics (Q901077) (← links)
- Anatomy ontologies for bioinformatics. Principles and practice (Q932095) (← links)
- Empirical analysis on a keyword-based semantic system (Q977871) (← links)
- Tutorial on ontological engineering. III: Advanced course of ontological engineering (Q1882729) (← links)
- Using applied ontology to saturate semantic relations (Q1982457) (← links)
- On the relationship between the complexity of decidability and decomposability of first-order theories (Q2062094) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Mathematical knowledge representation: semantic models and formalisms (Q2263116) (← links)
- A formal model of semantic computing (Q2318288) (← links)
- Quantifying sequential subsumption (Q2326402) (← links)
- Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics (Q2407932) (← links)
- Automated synthesis of application-layer connectors from automata-based specifications (Q2424673) (← links)
- Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics (Q2631217) (← links)
- \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge (Q2696681) (← links)
- \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model (Q2700049) (← links)
- Ontologies: A silver bullet for knowledge management and electronic commerce (Q2720121) (← links)
- Ontological engineering: Common approaches and visualisation capabilities (Q2730023) (← links)
- Evaluation of ontologies (Q2739001) (← links)
- Concepts, Ontologies, and Knowledge Representation (Q2841747) (← links)
- On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages (Q2891283) (← links)
- A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
- Random logic programs: Linear model (Q4593016) (← links)
- (Q5128546) (← links)
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
- A goal-directed implementation of query answering for hybrid MKNF knowledge bases (Q5410731) (← links)
- Ontologies in bioinformatics and systems biology (Q5471647) (← links)
- (Q5866352) (← links)
- Ontological approach to a knowledge graph construction in a semantic library (Q6051096) (← links)
- Shop scheduling in manufacturing environments: a review (Q6060656) (← links)
- Formal concept analysis: from knowledge discovery to knowledge processing (Q6602260) (← links)
