Handbook on Ontologies

DOI10.1007/978-3-540-92673-3zbMath1429.68001OpenAlexW217162355WikidataQ56840168 ScholiaQ56840168MaRDI QIDQ2885327

No author found.

Publication date: 22 May 2012

Full work available at URL: https://doi.org/10.1007/978-3-540-92673-3

Mathematics Subject Classification ID

Knowledge representation (68T30) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Related Items (25)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Logical handling of uncertain, ontology-based, spatial information ⋮ Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics ⋮ Rough sets: some extensions ⋮ Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases ⋮ Ontological approach to a knowledge graph construction in a semantic library ⋮ Shop scheduling in manufacturing environments: a review ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ Random logic programs: Linear model ⋮ Unnamed Item ⋮ Automated synthesis of application-layer connectors from automata-based specifications ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge ⋮ \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ Using applied ontology to saturate semantic relations ⋮ A goal-directed implementation of query answering for hybrid MKNF knowledge bases ⋮ Mathematical knowledge representation: semantic models and formalisms ⋮ Empirical analysis on a keyword-based semantic system ⋮ On the relationship between the complexity of decidability and decomposability of first-order theories ⋮ Unnamed Item ⋮ A formal model of semantic computing ⋮ Quantifying sequential subsumption

This page was built for publication: Handbook on Ontologies