A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Preliminary Results on the Identity Problem in Description Logic Ontologies
2017
International Workshop on Description Logics
Preserved Fulltext
We first observe that not all Description Logics (DLs) are able to derive any such equalities between individuals, and thus the identity problem is trivial in these DLs. ...
The identity problem then asks whether one can deduce from the TBox and the ABox that a given anonymous individual is equal to a known one. ...
The Identity Problem We assume that the reader is familiar with the basic notions of Description Logics, as e.g. introduced in [1] . ...
dblp:conf/dlog/BaaderBN17
fatcat:ihfozeulivhhfdhgflt5efoj7e
Kernel Methods for Mining Instance Data in Ontologies
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this spirit, we express the problem of mining instances in ontologies as the problem of defining valid corresponding kernels. ...
The amount of ontologies and meta data available on the Web is constantly growing. ...
In this section, we thus introduce examples and results of two learning problems based on typical Semantic Web data sets. ...
doi:10.1007/978-3-540-76298-0_5
fatcat:2fafavoiufbbxj47oixv4b3hka
An ontology-based approach to human telepresence
2009
2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Starting from a formal description of the problem ontology, a set of high-response rate and low-response rate sensors is employed in a computational model. ...
Although many techniques have been developed so far in the literature to solve this problem, they generally rely on well-defined operational context. ...
ACKNOWLEDGMENT This work was supported in part by the EU, within the 7FP project, under grant agreement 216483 "PrimeLife" ...
doi:10.1109/cimsa.2009.5069918
fatcat:fchduig24zeo7iifzgfudf2ohm
The Identity Problem in Description Logic Ontologies and Its Application to View-Based Information Hiding
[chapter]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We first observe that not all Description Logics (DLs) are able to derive any such equalities between individuals, and thus the identity problem is trivial in these DLs. ...
The identity problem then asks whether one can deduce from the TBox and the ABox that a given anonymous individual is equal to a known one. ...
A preliminary version of this paper was presented at the Description Logic Workshop [1] . ...
doi:10.1007/978-3-319-70682-5_7
fatcat:ax7mvuqdyrflfaf2zdmky5wjve
A world of dispositions
1977
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
than one individual thing, the result would be a violation of the law of excluded middle, and if such a name denoted more than one individual thing, the result would be a violation of the law of non-contradiction ...
the help of formal logic, then those philosophical problems have in an important
University of Kentucky is indebted to Carl G. ...
doi:10.1007/bf00485648
fatcat:4itjpa5cknf3bjjx32x4gzyfy4
Reasonable Macros for Ontology Construction and Maintenance
2017
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this paper, we show that a simple and powerful macro or templating language for description logic (DL) knowledge bases can be defined in description logic itself. ...
However, since the templates themselves need to be created and maintained, suitable tool support for their maintenance is vital in order to ensure the quality of the resulting knowledge base, and to lower ...
The goal of our paper is to show that a powerful macro language for ontologies expressed in common description logics (DLs) can be defined using the description logics themselves. ...
dblp:conf/dlog/ForssellLST17
fatcat:khxpph345zewza543kyrfi5gym
An ontological analysis of some biological ontologies
2012
Frontiers in Genetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The problem of multiple inheritance in its conceptual hierarchies prevents it from logical reasoning applications. ...
on such a hierarchy could lead to erroneous results. ...
doi:10.3389/fgene.2012.00269
pmid:23226158
pmcid:PMC3509948
fatcat:qg5n6tzfgjd4bjctm3edknkyyi
The Ontological Level: Revisiting 30 Years of Knowledge Representation
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
I revisit here the motivations and the main proposal of paper I published at the 1994 Wittgenstein Symposium, entitled "The Ontological Level", in the light of the main results achieved in the latest 30 ...
I will argue that, despite the explosion of ontologies, many problems are still there, since there is no general agreement about having ontological distinctions built in the representation language, so ...
such as description logics. ...
doi:10.1007/978-3-642-02463-4_4
fatcat:djyvx3kylrdpjhif6x4vkqgvj4
A Corpus of OWL DL Ontologies
2013
International Workshop on Description Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Results may be biased, even heavily, towards these datasets. Sampling from a large corpus of ontologies, on the other hand, may lead to more representative results. ...
Empirical activities often resort to (somewhat arbitrarily) hand curated corpora available on the web, such as the NCBO BioPortal and the TONES Repository, or manually select a set of well-known ontologies ...
Preliminaries
The Web Ontology Language OWL OWL is a successor of the web ontology language DAML+OIL [25] , a description logic based ontology language with an RDF/XML syntax. ...
dblp:conf/dlog/MatentzogluBP13
fatcat:zhi2ifg7vzebfjjqoal7xef62y
Hybrid OWL-S Service Retrieval with OWLS-MX: Benefits and Pitfalls
2007
International Semantic Web Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The analysis results have been exploited in an improved version OWLS-MX+. ...
In this paper, we build upon this work and analyse its retrieval performance in terms of false positive and false negatives to reveal the benefits and pitfalls of both logic based and hybrid matching with ...
This preliminary result reported in [5] provides strong evidence in favor of the proposition that building semantic Web service matchmakers purely on crisp logic based reasoning may be insufficient. ...
dblp:conf/semweb/KluschF07
fatcat:dviuobxkpvbhbmk7gdnqsimdp4
Ontology Alignment Through Instance Negotiation: a Machine Learning Approach
2006
Semantic Web Applications and Perspectives
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We have illustrated the prototype implemented these ideas together with some preliminary results using limited datasets. We plan to improve our work along the following directions. ...
First, we should evaluate suitable concept similarity measures for assessing the closeness of learned concept definitions to the pre-existing conceptualizations in the ontologies to be aligned. ...
MACHINE LEARNING IN DESCRIPTION LOGIC In this section, we describe in more details the learning algorithm we developed for solving a Concept Learning Problem in Description Logic. ...
dblp:conf/swap/PalmisanoIRS06
fatcat:a7gghb37xrfebbabfe3euoxs5a
Reasoning over decomposing fuzzy description logic
2016
Journal of Innovation in Digital Ecosystems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ontology Description logic Fuzzy logic Automatic inference and reasoning A B S T R A C T A DF-ALC (Decomposing fuzzy ALC) is proposed in this paper to satisfy the need for representing and reasoning with ...
fuzzy ontologies in the context of semantic Web. ...
Reasoning with local Tbox The reasoning method proposed in our work based on the same process used in previous works that address the problem of fuzziness in description logic. ...
doi:10.1016/j.jides.2016.05.003
fatcat:bmdpbfdujnbrdbt77kcy76spom
Descriptive, Formal and Formalized Ontologies
[chapter]
2003
Contributions to Phenomenology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Formal ontology distills, filters, codifies and organizes the results of descriptive ontology (in either its local or global setting). ...
The thesis of the identity of logic (as language) with (categorical) ontology is, as we know, one of the essential assumptions of Platonism (or logical realism). ...
doi:10.1007/978-94-017-0207-2_12
fatcat:xesvp7ehp5a6pouczv4ggmoxem
Using Vampire to Reason with OWL
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we report on some experiments designed to explore the feasibility of using existing general-purpose FOL provers to reason with OWL DL. ...
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). ...
Preliminaries There have been earlier investigations of the use of FOL provers to reason with description logics. ...
doi:10.1007/978-3-540-30475-3_33
fatcat:chmwcice3jfuzkhwdpr4n7dqyu
Exploiting Fast Classification of SNOMED CT for Query and Integration of Health Data
2008
Conference on Knowledge Representation in Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
By using SNOMED as a base ontology we can exploit the existing knowledge encoded in it and simplify the task of reifying the implicit semantics of the controlled vocabulary. ...
In combination with SNOMED, this local extension makes explicit the implicit semantics of the terms in the controlled vocabulary. ...
Acknowledgements The work described in this paper was carried out while on secondment to the CSIRO's E-Health Research Centre and the author would like to gratefully acknowledge the support of David Hansen ...
dblp:conf/krmed/Lawley08
fatcat:ivipequ7svhezadvi45pn3ng6e
« Previous
Showing results 1 — 15 out of 21,171 results