MindShare: Knowledge Sharing via
... Come, let us go down and confuse their language so they will not understand each other." So the Lord scattered them from there over all the earth, and they stopped building the city. [29, Genesis 11:6-8] ...
... Come, let us go down and confuse their language so they will not understand each other." So the Lord scattered them from there over all the earth, and they stopped building the city. [29, Genesis 11:6-8] ...
The Role of Subjectivity in Intelligent Systems Communication and
... have been currently developed in ways that may attempt to display some of the features related to intelligent entities in the animal world. If we examine current intelligent software agent applications we see that they are used in a metaphoric “intelligent tool” way aiding human users to perform hig ...
... have been currently developed in ways that may attempt to display some of the features related to intelligent entities in the animal world. If we examine current intelligent software agent applications we see that they are used in a metaphoric “intelligent tool” way aiding human users to perform hig ...
Strategies and Design for Interleaving Reasoning and Selection of Axioms
... subsumption-based classification in Description Logics. This is important among the other problems because classification is essential to Semantic Web applications, which require reasoning over large or complex ontologies. In this document, we will present an algorithm for classification with anytim ...
... subsumption-based classification in Description Logics. This is important among the other problems because classification is essential to Semantic Web applications, which require reasoning over large or complex ontologies. In this document, we will present an algorithm for classification with anytim ...
A Fuzzy Ontology Extension of WordNet and EuroWordnet for
... when dealing with longer sets of hyponymic synsets or multiple word senses in each of the synsets. Prototype theory [18] provides an approach to account for such effects of prototypicality on categorization. Prototype theory is based on the fact that concepts are graded. They show different degrees ...
... when dealing with longer sets of hyponymic synsets or multiple word senses in each of the synsets. Prototype theory [18] provides an approach to account for such effects of prototypicality on categorization. Prototype theory is based on the fact that concepts are graded. They show different degrees ...
Knowledge Engineering: Principles and Methods
... knowledge types, which build the basis for generating effective knowledge-acquisition tools. On the other hand, configuring a CRLM shell increases the burden for the system developer since he has to have the knowledge and the ability to configure the system in the right way. Generic Task and Task St ...
... knowledge types, which build the basis for generating effective knowledge-acquisition tools. On the other hand, configuring a CRLM shell increases the burden for the system developer since he has to have the knowledge and the ability to configure the system in the right way. Generic Task and Task St ...
Keynote ICSD 2009 Digital Libraries and the
... for policy decisions and diplomatic actions. Requested information includes: • key figures, organizations, and countries who have been associated with alBashir; ...
... for policy decisions and diplomatic actions. Requested information includes: • key figures, organizations, and countries who have been associated with alBashir; ...
Visualizing Inference Henry Lieberman and Joe Henke MIT Media Lab
... We believe the visualization of assertion graphs to be particularly novel. Visualization of related sets of assertions can be a powerful tool in debugging knowledge bases and inference. The assumption is that the inference space has a kind of smoothness characteristic – inference about similar conce ...
... We believe the visualization of assertion graphs to be particularly novel. Visualization of related sets of assertions can be a powerful tool in debugging knowledge bases and inference. The assumption is that the inference space has a kind of smoothness characteristic – inference about similar conce ...
Ontology Integration Experienced on Medical Terminologies
... for this kind of integration. However, a much bigger problem is the existence of subtle differences between implemented concepts that have the same name and stand, vaguely, for the same (concrete or abstract) real world objects. These differences occur because different ontology designers may bring ...
... for this kind of integration. However, a much bigger problem is the existence of subtle differences between implemented concepts that have the same name and stand, vaguely, for the same (concrete or abstract) real world objects. These differences occur because different ontology designers may bring ...
Integrated Access to Cultural Heritage
... RDF-Schema (Brickley & Guha, 2004), in short RDF-S, is a simple representation language that allows users to define their models, introducing different types for RDF resources and links. One can also express, for instance, that the source and target of a relation are of a specific type, e.g., that t ...
... RDF-Schema (Brickley & Guha, 2004), in short RDF-S, is a simple representation language that allows users to define their models, introducing different types for RDF resources and links. One can also express, for instance, that the source and target of a relation are of a specific type, e.g., that t ...
Semantic Enrichment - UMKC School of Computing and Engineering
... knowledge structures was performed only recently. Even though the topic area of the UMLS is limited, it is an order of magnitude larger than the WordNet/SUMO combination. Because of this reason, and because the two-level structure of the UMLS was a design principle as opposed to being created after ...
... knowledge structures was performed only recently. Even though the topic area of the UMLS is limited, it is an order of magnitude larger than the WordNet/SUMO combination. Because of this reason, and because the two-level structure of the UMLS was a design principle as opposed to being created after ...
Semantic Enrichment - UMKC School of Computing and Engineering
... Terminological Knowledge Bases [1] are ontologies or terminologies that consist of an upper layer of semantic types (broad categories) and a lower layer of concepts. The two preeminent examples of terminologies with a two-level structure are the Unified Medical Language System (UMLS) [2-4] and the W ...
... Terminological Knowledge Bases [1] are ontologies or terminologies that consist of an upper layer of semantic types (broad categories) and a lower layer of concepts. The two preeminent examples of terminologies with a two-level structure are the Unified Medical Language System (UMLS) [2-4] and the W ...
U P C
... analyses for each new concept) can be performed at the same time without interference. In our case, the parallelisation is not only related to the computational power, but also to other resources such as the Internet bandwidth or system memory. However, the most important aspect is that the parallel ...
... analyses for each new concept) can be performed at the same time without interference. In our case, the parallelisation is not only related to the computational power, but also to other resources such as the Internet bandwidth or system memory. However, the most important aspect is that the parallel ...
The Instance Store: DL Reasoning with Large Numbers of Individuals
... of iS . In the first place, as it is potentially costly, we should try to minimise the DL reasoning required in order to compute realisations (when instance axioms are added to the ABox) and to check if individuals in are instances of the query concept (when answering a query). One way to (possibly) ...
... of iS . In the first place, as it is potentially costly, we should try to minimise the DL reasoning required in order to compute realisations (when instance axioms are added to the ABox) and to check if individuals in are instances of the query concept (when answering a query). One way to (possibly) ...
Abstract - Artificial Intelligence Applications Institute
... with users, (5) execution monitoring, (6) replanning, and (7) scalability. However, the main challenges in real-world domains are that they cannot be complete modelled, and consequently they raise issues about planner validation and correctness. So, in order to make AI planning technology useful for ...
... with users, (5) execution monitoring, (6) replanning, and (7) scalability. However, the main challenges in real-world domains are that they cannot be complete modelled, and consequently they raise issues about planner validation and correctness. So, in order to make AI planning technology useful for ...
ni.uni-osnabrueck.de - Cognitive Science
... mathematical objects, thus ensuring that its theorems are novel. The creation of new recursive functions on these objects. Recursive functions are created by defining how the function behaves on the base objects and then how it behaves on successive objects in terms of its behaviour on earlier ones. ...
... mathematical objects, thus ensuring that its theorems are novel. The creation of new recursive functions on these objects. Recursive functions are created by defining how the function behaves on the base objects and then how it behaves on successive objects in terms of its behaviour on earlier ones. ...
Do software agents know what they talk about?
... ones in-plan for Mom's insurance within a 20-mile radius of her home and with a rating of excellent or very good on trusted rating services. It then began trying to find a match between available appointment times (supplied by the agents of individual providers through their Web sites) and Pete's an ...
... ones in-plan for Mom's insurance within a 20-mile radius of her home and with a rating of excellent or very good on trusted rating services. It then began trying to find a match between available appointment times (supplied by the agents of individual providers through their Web sites) and Pete's an ...
An Analogy Ontology for Integrating Analogical
... solve everyday problems. Unfortunately, CBR systems generally have the opposite problem, tending to use only minimal first-principles reasoning. Moreover, most of today’s CBR systems also tend to rely on feature-based descriptions that cannot match the expressive power of predicate calculus. Those r ...
... solve everyday problems. Unfortunately, CBR systems generally have the opposite problem, tending to use only minimal first-principles reasoning. Moreover, most of today’s CBR systems also tend to rely on feature-based descriptions that cannot match the expressive power of predicate calculus. Those r ...
An Analogy Ontology for integrating analogical processing and first
... solve everyday problems. Unfortunately, CBR systems generally have the opposite problem, tending to use only minimal first-principles reasoning. Moreover, most of today’s CBR systems also tend to rely on feature-based descriptions that cannot match the expressive power of predicate calculus. Those r ...
... solve everyday problems. Unfortunately, CBR systems generally have the opposite problem, tending to use only minimal first-principles reasoning. Moreover, most of today’s CBR systems also tend to rely on feature-based descriptions that cannot match the expressive power of predicate calculus. Those r ...
Computational Creativity, Concept Invention, and General
... creativity. Instead, they are accompanied by contextual information such as title, summary, pictures, reviews, resume of the artist, and so on. This context enhances viewers’ understanding and appreciation of the work, and enables them to make more informed judgements about the creativity involved. ...
... creativity. Instead, they are accompanied by contextual information such as title, summary, pictures, reviews, resume of the artist, and so on. This context enhances viewers’ understanding and appreciation of the work, and enables them to make more informed judgements about the creativity involved. ...
Vladimir N. Bryushinkin KANT`S LOGIC AND SYNTHESIS OF
... ontology is formed in a natural IS and whether these methods can set the pattern for a ontology construction in an artificial IS. Another question is how the knowledge acquired on the basis of ontology can be used for the arrangement of reasoning in an IS. The experience of handling these tasks in t ...
... ontology is formed in a natural IS and whether these methods can set the pattern for a ontology construction in an artificial IS. Another question is how the knowledge acquired on the basis of ontology can be used for the arrangement of reasoning in an IS. The experience of handling these tasks in t ...
129 - UMBC ebiquity
... understanding the semantics of the key communication components (i.e., ACL, protocol, ontologies, content language, context) is extremely important. In TAGA, the service providers are independent and autonomous entities, which making it difficult to enforce a design decision that all use exactly the ...
... understanding the semantics of the key communication components (i.e., ACL, protocol, ontologies, content language, context) is extremely important. In TAGA, the service providers are independent and autonomous entities, which making it difficult to enforce a design decision that all use exactly the ...
knOWLer - Ontological Support for Information Retrieval Systems
... D.2.2 [Software Engineering]: Modules and interfaces ...
... D.2.2 [Software Engineering]: Modules and interfaces ...
An ontology-based search engine for digital
... (e.g., primary somatosensory, left hind limb), and the other describing laminar depth typically referring to cytoarchitecture and microcircuitry (e.g., layer 5b). The logical relationships among hierarchies within and across metadata domains are described in Sect. 2.2. Every hierarchy is composed of ...
... (e.g., primary somatosensory, left hind limb), and the other describing laminar depth typically referring to cytoarchitecture and microcircuitry (e.g., layer 5b). The logical relationships among hierarchies within and across metadata domains are described in Sect. 2.2. Every hierarchy is composed of ...
BNAIC05.pdf
... In this paper, we propose a general framework for reasoning with inconsistent ontologies. Our approach borrows some ideas from Schaerf and Marco Cadoli’s approximation approach[5], Marquis and Porquet’s paraconsistent reasoning approach[4], and Chopra, Parikh, and Wassermann’s relevance approach[2]. ...
... In this paper, we propose a general framework for reasoning with inconsistent ontologies. Our approach borrows some ideas from Schaerf and Marco Cadoli’s approximation approach[5], Marquis and Porquet’s paraconsistent reasoning approach[4], and Chopra, Parikh, and Wassermann’s relevance approach[2]. ...
Distributed Resolution for Expressive Ontology Networks
... Concerning the reasoning method, analytic tableaux are the dominant method for implementing sound and complete inference systems for description logics [8]. It has been shown, however, that sound and complete resolution methods for expressive description logics can be defined [16, 9]. We exclude oth ...
... Concerning the reasoning method, analytic tableaux are the dominant method for implementing sound and complete inference systems for description logics [8]. It has been shown, however, that sound and complete resolution methods for expressive description logics can be defined [16, 9]. We exclude oth ...