The following pages link to Handbook on Ontologies (Q2885327):
Displayed 25 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)
- 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)
- Empirical analysis on a keyword-based semantic system (Q977871) (← 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)
- 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)
- (Q5866352) (← links)
- Ontological approach to a knowledge graph construction in a semantic library (Q6051096) (← links)
- Shop scheduling in manufacturing environments: a review (Q6060656) (← links)