21,171 Hits in 5.8 sec

Preliminary Results on the Identity Problem in Description Logic Ontologies

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
2017 International Workshop on Description Logics  
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]

Stephan Bloehdorn, York Sure
2007 Lecture Notes in Computer Science  
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

Vincenzo Di Lecce, Marco Calabrese, Vincenzo Piuri
2009 2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications  
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]

Franz Baader, Daniel Borchmann, Adrian Nuradiansyah
2017 Lecture Notes in Computer Science  
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

James H. Fetzer
1977 Synthese  
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

Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen
2017 International Workshop on Description Logics  
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

Briti Deb
2012 Frontiers in Genetics  
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]

Nicola Guarino
2009 Lecture Notes in Computer Science  
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

Nicolas Matentzoglu, Samantha Bail, Bijan Parsia
2013 International Workshop on Description Logics  
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

Matthias Klusch, Benedikt Fries
2007 International Semantic Web Conference  
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

Ignazio Palmisano, Luigi Iannone, Domenico Redavid, Giovanni Semeraro
2006 Semantic Web Applications and Perspectives  
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

Mohamed Gasmi, Mustapha Bourahla
2016 Journal of Innovation in Digital Ecosystems  
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]

Roberto Poli
2003 Contributions to Phenomenology  
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]

Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
2004 Lecture Notes in Computer Science  
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

Michael Lawley
2008 Conference on Knowledge Representation in Medicine  
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