Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 22 of 22
Full-Text Articles in Physical Sciences and Mathematics
Thoughts On The Complex Relation Between Linked Data, Semantic Annotations, And Ontologies, Krzysztof Janowicz, Pascal Hitzler
Thoughts On The Complex Relation Between Linked Data, Semantic Annotations, And Ontologies, Krzysztof Janowicz, Pascal Hitzler
Computer Science and Engineering Faculty Publications
The relation between data, annotations, and schemata seems straightforward at first: Data are annotated with additional meta information according to some schemata in order to expose additional non-intrinsic characteristics relevant to the meaningful interpretation of said data. However, on closer examination, things are not as simple. Focusing on geo-information retrieval, we will try to disentangle the aforementioned relations. We will report from our own experience and from observations gathered by editing papers about ontologies and Linked Data for the Semantic Web journal.
Linked Scientometrics: Designing Interactive Scientometrics With Linked Data And Semantic Web Reasoning, Grant Mckenzie, Krzysztof Janowicz, Yingjie Hu, Kunal Sengupta, Pascal Hitzler
Linked Scientometrics: Designing Interactive Scientometrics With Linked Data And Semantic Web Reasoning, Grant Mckenzie, Krzysztof Janowicz, Yingjie Hu, Kunal Sengupta, Pascal Hitzler
Computer Science and Engineering Faculty Publications
In this demo paper we introduce a Linked Data-driven, Semantically-enabled Journal Portal (SEJP) that offers a variety of interactive scientometrics modules. SEJP allows editors, reviewers, authors, and readers to explore and analyze (meta)data published by a journal. Besides Linked Data created from the journal's internal data, SEJP also links out to other sources and includes them to develop more powerful modules. These modules range from simple descriptive statistics, over the spatial analysis of visitors and authors, to topic trending modules. While SEJP will be available for multiple journals, this paper shows its deployment to the Semantic Web journal by IOS …
Editing R2rml Mappings Made Easy, Kunal Sengupta, Peter Haase, Michael Schmidt, Pascal Hitzler
Editing R2rml Mappings Made Easy, Kunal Sengupta, Peter Haase, Michael Schmidt, Pascal Hitzler
Computer Science and Engineering Faculty Publications
The new W3C standard R2RML3 defines a language for ex- pressing mappings from relational databases to RDF, allowing applications built on top of the W3C Semantic Technology stack to seamlessly integrate relational data. A major obstacle in using R2RML, though, is the creation and maintenance of mappings. In this demo, we present a novel R2RML mapping editor which provides a user interface to create and edit mappings interactively even for non-experts.
D-Sparq: Distributed, Scalable And Efficient Rdf Query Engine, Raghava Mutharaju, Sherif Sakr, Alessandra Sala, Pascal Hitzler
D-Sparq: Distributed, Scalable And Efficient Rdf Query Engine, Raghava Mutharaju, Sherif Sakr, Alessandra Sala, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We present D-SPARQ, a distributed RDF query engine that combines the MapReduce processing framework with a NoSQL distributed data store, MongoDB. The performance of processing SPARQL queries mainly depends on the efficiency of handling the join operations between the RDF triple patterns. Our system features two unique characteristics that enable efficiently tackling this challenge: 1) Identifying specific patterns of the input queries that enable improving the performance by running different parts of the query in a parallel mode. 2) Using the triple selectivity information for reordering the individual triples of the input query within the identified query patterns. The preliminary …
Distel: A Distributed El+ Ontology Classifier, Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti
Distel: A Distributed El+ Ontology Classifier, Raghava Mutharaju, Pascal Hitzler, Prabhaker Mateti
Computer Science and Engineering Faculty Publications
OWL 2 EL ontologies are used to model and reason over data from diverse domains such as biomedicine, geography and road traffic. Data in these domains is increasing at a rate quicker than the increase in main memory and computation power of a single machine. Recent efforts in OWL reasoning algorithms lead to the decrease in classification time from several hours to a few seconds even for large ontologies like SNOMED CT. This is especially true for ontologies in the description logic EL+ (a fragment of the OWL 2 EL profile). Reasoners such as Pellet, Hermit, ELK etc. make …
Stringsauto And Mapsss Results For Oaei 2013, Michelle Cheatham, Pascal Hitzler
Stringsauto And Mapsss Results For Oaei 2013, Michelle Cheatham, Pascal Hitzler
Computer Science and Engineering Faculty Publications
StringsAuto and MapSSS are two closely related ontology alignment systems. The StringsAuto matcher seeks to explore the limits of a syntactic-only approach to alignment. The MapSSS system then expands on this work by embedding the syntactic matching of StringsAuto within a more complete alignment system that also makes use of semantic and structural information. In this paper we describe the basic operation of the two systems and discuss their performance in the OAEI 2013 evaluation.
A Linked-Data-Driven And Semantically-Enabled Journal Portal For Scientometrics, Yingjie Hu, Krzysztof Janowicz, Grant Mckenzie, Kunal Sengupta
A Linked-Data-Driven And Semantically-Enabled Journal Portal For Scientometrics, Yingjie Hu, Krzysztof Janowicz, Grant Mckenzie, Kunal Sengupta
Computer Science and Engineering Faculty Publications
The Semantic Web journal by IOS Press follows a unique open and transparent process during which each submitted manuscript is available online together with the full history of its successive decision statuses, assigned editors, solicited and voluntary reviewers, their full text reviews, and in many cases also the authors’ response letters. Combined with a highly-customized, Drupal-based journal management system, this provides the journal with semantically rich manuscript time lines and networked data about authors, reviewers, and editors. These data are now exposed using a SPARQL endpoint, an extended Bibo ontology, and a modular Linked Data portal that provides interactive scientometrics …
String Similarity Metrics For Ontology Alignment, Michelle Cheatham, Pascal Hitzler
String Similarity Metrics For Ontology Alignment, Michelle Cheatham, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Ontology alignment is an important part of enabling the semantic web to reach its full potential. The vast majority of ontology alignment systems use one or more string similarity metrics, but often the choice of which metrics to use is not given much attention. In this work we evaluate a wide range of such metrics, along with string pre-processing strategies such as removing stop words and considering synonyms, on different types of ontologies. We also present a set of guidelines on when to use which metric. We furthermore show that if optimal string similarity metrics are chosen, those alone can …
A Geo-Ontology Design Pattern For Semantic Trajectories, Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-Ontology Design Pattern For Semantic Trajectories, Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
Computer Science and Engineering Faculty Publications
Trajectory data have been used in a variety of studies, including human behavior analysis, transportation management, and wildlife tracking. While each study area introduces a different perspective, they share the need to integrate positioning data with domain-specific information. Semantic annotations are necessary to improve discovery, reuse, and integration of trajectory data from different sources. Consequently, it would be beneficial if the common structure encountered in trajectory data could be annotated based on a shared vocabulary, abstracting from domain-specific aspects. Ontology design patterns are an increasingly popular approach to define such flexible and self-contained building blocks of annotations. They appear more …
Scale Reasoning With Fuzzy-El+ Ontologies Based On Mapreduce, Zhangquan Zhou, Guilin Qi, Chang Lui, Pascal Hitzler, Raghava Mutharaju
Scale Reasoning With Fuzzy-El+ Ontologies Based On Mapreduce, Zhangquan Zhou, Guilin Qi, Chang Lui, Pascal Hitzler, Raghava Mutharaju
Computer Science and Engineering Faculty Publications
Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy or vague knowledge. In this paper, we consider the problem of reasoning with fuzzy-EL+, which is a fuzzy extension of EL+. We first identify the challenges and present revised completion classification rules for fuzzy-EL+ that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL+ ontologies using MapReduce. Some preliminary experimental results are provided to show the scalability of our algorithm.
Sroiq Syntax Approximation By Using Nominal Schemas, Cong Wang, David Carral, Pascal Hitzler
Sroiq Syntax Approximation By Using Nominal Schemas, Cong Wang, David Carral, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Nominal schemas is a recently introduced extension of description logics which makes it possible to express rules which generalize DL-safe ones. A tractable description logic, ELROVn, has been identified. This leads us to the question: can we improve approximate reasoning results by employing nominal schemas? In this paper, we investigate how to approximately cast SROIQ into ELROVn. Using a datalog-based tractable algorithm, a preliminary evaluation shows that our approach can indeed do approximate SROIQ-reasoning with a high recall.
Towards An Efficient Algorithm To Reason Over Description Logics Extended With Nominal Schemas, David Carral, Cong Wang, Pascal Hitzler
Towards An Efficient Algorithm To Reason Over Description Logics Extended With Nominal Schemas, David Carral, Cong Wang, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment ELROVn, a fragment that extends EL++ with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.
Understanding Common Perceptions From Online Social Media, Derek Doran, Swapna S. Gokhale, Aldo Dagnino
Understanding Common Perceptions From Online Social Media, Derek Doran, Swapna S. Gokhale, Aldo Dagnino
Computer Science and Engineering Faculty Publications
Modern society habitually uses online social media services to publicly share observations, thoughts, opinions, and beliefs at any time and from any location. These geotagged social media posts may provide aggregate insights into people's perceptions on a bad range of topics across a given geographical area beyond what is currently possible through services such as Yelp and Foursquare. This paper develops probabilistic language models to investigate whether collective, topic-based perceptions within a geographical area can be extracted from the content of geotagged Twitter posts. The capability of the methodology is illustrated using tweets from three areas of different sizes. An …
An Ontology Design Pattern For Cartographic Map Scaling, David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman Ii, Adila A. Krisnadhi, Pascal Hitzler
An Ontology Design Pattern For Cartographic Map Scaling, David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman Ii, Adila A. Krisnadhi, Pascal Hitzler
Computer Science and Engineering Faculty Publications
The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization …
The Role Of String Similarity Metrics In Ontology Alignment, Michelle Cheatham, Pascal Hitzler
The Role Of String Similarity Metrics In Ontology Alignment, Michelle Cheatham, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Tim Berners-Lee originally envisioned a much different world wide web than the one we have today - one that computers as well as humans could search for the information they need [3]. There are currently a wide variety of research efforts towards achieving this goal, one of which is ontology alignment.
Biomarkers Of Fatigue: Metabolomics Profiles Predictive Of Cognitive Performance, Nicholas J. Delraso, Deirdre A. Mahle, John J. Schlager, Donald L. Harville, Scott R. Chaiken, Danelle K. Roddy, Mari Chamberlain, Paul E. Anderson, Nicholas V. Reo, Michael L. Raymer, Isaie Sibomana
Biomarkers Of Fatigue: Metabolomics Profiles Predictive Of Cognitive Performance, Nicholas J. Delraso, Deirdre A. Mahle, John J. Schlager, Donald L. Harville, Scott R. Chaiken, Danelle K. Roddy, Mari Chamberlain, Paul E. Anderson, Nicholas V. Reo, Michael L. Raymer, Isaie Sibomana
Computer Science and Engineering Faculty Publications
Cognitive performance and fatigue are well known to be inversely related. Continuous and sustained actions in operational environments typically lead to reduced sleep normally required to perform optimally. These operational environments subject the warfighter to intense physical and mental exertion. Because fatigue continues to be an occupational hazard, leading to cognitive defects in performance, there has been a recognized need for real-time detection technologies that minimize fatigue-induced mishaps. I the current study, 23 subjects were subjected to 36h of sleep deprivation and cognitive psychomotor vigilance and automated neuropsychological assessment metric tests were conducted over the last 24 h of sleep …
There's No Money In Linked Data, Prateek Jain, Pascal Hitzler, Krzysztof Janowicz, Chitra Venkatramani
There's No Money In Linked Data, Prateek Jain, Pascal Hitzler, Krzysztof Janowicz, Chitra Venkatramani
Computer Science and Engineering Faculty Publications
Linked Data (LD) has been an active research area for more than 6 years and many aspects about publishing, retrieving, linking, and cleaning Linked Data have been investigated. There seems to be a broad and general agreement that in principle LD datasets can be very useful for solving a wide variety of problems ranging from practical industrial analytics to highly specific research problems. Having these notions in mind, we started exploring the use of notable LD datasets such as DBpedia, Freebase, Geonames and others for a commercial application. However, it turns out that using these datasets in realistic settings is …
Reasoning With Inconsistencies In Hybrid Mknf Knowledge Bases, Shasha Huang, Qingguo Li, Pascal Hitzler
Reasoning With Inconsistencies In Hybrid Mknf Knowledge Bases, Shasha Huang, Qingguo Li, Pascal Hitzler
Computer Science and Engineering Faculty Publications
This article is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases. More precisely, we present a paraconsistent semantics for hybrid MKNF knowledge bases (called para-MKNF knowledge bases) based on four-valued logic as proposed by Belnap. We also reduce this paraconsistent semantics to the stable model semantics via a linear transformation operator, which shows the relationship between the two semantics and indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide fixpoint operators to compute paraconsistent MKNF models, each …
Knowledge Representation In The Big Data Age, Pascal Hitzler
Knowledge Representation In The Big Data Age, Pascal Hitzler
Computer Science and Engineering Faculty Publications
No abstract provided.
Research Challenges And Opportunities In Knowledge Representation, Natasha Noy, Deborah Mcguinness, Eyal Amir, Chitta Baral, Michael Beetz, Sean Bechhofer, Craig Boutilier, Anthony Cohn, Johan De Kleer, Michel Dumontier, Tim Finin, Kenneth Forbus, Lise Getoor, Yolanda Gil, Jeff Heflin, Pascal Hitzler, Craig Knoblock, Henry Kautz, Yuliya Lierler, Vladimir Lifschitz, Peter F. Patel-Schneider, Christine Piatko, Doug Riecken, Mark Schildhauer
Research Challenges And Opportunities In Knowledge Representation, Natasha Noy, Deborah Mcguinness, Eyal Amir, Chitta Baral, Michael Beetz, Sean Bechhofer, Craig Boutilier, Anthony Cohn, Johan De Kleer, Michel Dumontier, Tim Finin, Kenneth Forbus, Lise Getoor, Yolanda Gil, Jeff Heflin, Pascal Hitzler, Craig Knoblock, Henry Kautz, Yuliya Lierler, Vladimir Lifschitz, Peter F. Patel-Schneider, Christine Piatko, Doug Riecken, Mark Schildhauer
Computer Science and Engineering Faculty Publications
Modern intelligent systems in every area of science rely critically on knowledge representation and reasoning (KR). The techniques and methods developed by the researchers in knowledge representation and reasoning are key drivers of innovation in computer science; they have led to significant advances in practical applications in a wide range of areas from natural-‐language processing to robotics to software engineering. Emerging fields such as the semantic web, computational biology, social computing, and many others rely on and contribute to advances in knowledge representation. As the era of “Big Data” evolves, scientists in a broad range of disciplines are increasingly relying …
A Resolution Procedure For Description Logics With Nominal Schemas, Cong Wang, Pascal Hitzler
A Resolution Procedure For Description Logics With Nominal Schemas, Cong Wang, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We present a polynomial resolution-based decision procedure for the recently introduced description logic ELHOVn(⊓), which features nominal schemas as new language construct. Our algorithm is based on ordered resolution and positive superposition, together with a lifting lemma. In contrast to previous work on resolution for description logics, we have to overcome the fact that ELHOVn(⊓) does not allow for a normalization resulting in clauses of globally limited size.
Consequence Based Procedure For Description Logics With Self Restriction, Cong Wang, Pascal Hitzler
Consequence Based Procedure For Description Logics With Self Restriction, Cong Wang, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We present a consequence based classification procedure for the description logics with self restriction constructor. Due to the difficulty of constructing a concept inclusion model for self restriction, we use a different proof by showing that all the completion rules can simulate all the corresponding ordered resolution inferences.