The Semantic Web – ISWC 2010
9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II
Page
%P
23 Result(s)
within
Peter F. Patel-Schneider
-
Chapter and Conference Paper
Automating Class/Instance Representational Choices in Knowledge Bases
We present a method for making decisions as to whether an entity in a knowledge base should be a class or an instance based on external evidence in the form of corresponding textual corpora such as Wikipedia a...
-
Chapter and Conference Paper
Comparative Preferences in SPARQL
Sometimes one does not want all the solutions to a query but instead only those that are most desirable according to user-specified preferences. If a user-specified preference relation is acyclic then its spec...
-
Chapter and Conference Paper
CogMap: A Cognitive Support Approach to Property and Instance Alignment
The iterative user interaction approach for data integration proposed by Falconer and Noy can be generalized to consider interactions between integration tools (generators) that generate potential schema mappi...
-
Chapter and Conference Paper
Analyzing Schema.org
Schema.org is a way to add machine-understandable information to web pages that is processed by the major search engines to improve search performance. The definition of schema.org is provided as a set of web ...
-
Chapter and Conference Paper
Ontology Constraints in Incomplete and Complete Data
Ontology and other logical languages are built around the idea that axioms enable the inference of new facts about the available data. In some circumstances, however, the data is meant to be complete in certai...
-
Chapter and Conference Paper
A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data
This paper describes the implementation of a Smart Campus application prototype that integrates heterogeneous data using semantic technologies. The prototype is based on a layered semantic architecture that fa...
-
Reference Work Entry In depth
KR and Reasoning on the Semantic Web: OWL
OWL is the ontology language recommended by the W3C. OWL is heavily based on the knowledge representation languages called Description Logic, which provide the basic representation features of OWL. OWL also in...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
The Semantic Web – ISWC 2010
9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
-
Chapter
“Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge problems, etc. While ...
-
Article
Optimizing Terminological Reasoning for Expressive Description Logics
Tableau algorithms are currently the most widely used and empirically the fastest algorithms for reasoning in expressive description logics, including the important description logics
-
Chapter and Conference Paper
A Revised Architecture for Semantic Web Reasoning
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorporated. An architecture less t...
-
Chapter and Conference Paper
Reducing OWL Entailment to Description Logic Satisfiability
We show how to reduce ontology entailment for the OWL DL and OWL Lite ontology languages to knowledge base satisfiability in (respectively) the ...
-
Chapter and Conference Paper
“Everything Personal, Not Just Business:” Improving User Experience through Rule-Based Service Customization
The web and converged services paradigm promises tremendous flexibility in the creation of rich composite services for enterprises and end-users. The flexibility and richness offers the possibility of highly c...
-
Article
Evaluating Optimized Decision Procedures for Propositional Modal K (m) Satisfiability
Heavily optimized decision procedures for propositional modal satisfiability are now becoming available. Two systems incorporating such procedures for modal K, DLP and KSATC, are tested on randomly generated CNF ...
-
Chapter and Conference Paper
Layering the Semantic Web: Problems and Directions
The Resource Description Framework and the Resource Description Framework Schema Specification are supposed to be the foundations of the Semantic Web, in that all other Semantic Web languages are to be layered...
-
Chapter and Conference Paper
Building the Semantic Web on XML
The semantic discontinuity between World-Wide Web languages, e.g., XML, XML Schema, and XPath, and Semantic Web languages, e.g., RDF, RDFS, and DAML+OIL, forms a serious barrier for the stated goals of the Sem...
-
Chapter and Conference Paper
A New System and Methodology for Generating Random Modal Formulae
Previous methods for generating random modal formulae (for the multi-modal logic K (m) ) result either in flawed test sets or formulae that are too hard for current modal decisi...
-
Chapter and Conference Paper
TANCS-2000 Results for DLP
DLP is an experimental description logic system that can also be used as a satisfiability checker for propositional modal logics. DLP incorporates a number of effective optimizations that, taken together, prod...
-
Chapter and Conference Paper
DLP and FaCT
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressi...
