Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (2602)
- Engineering (1969)
- Computer Engineering (1729)
- Life Sciences (703)
- Social and Behavioral Sciences (694)
-
- Bioinformatics (633)
- Communication (632)
- Communication Technology and New Media (632)
- Databases and Information Systems (632)
- OS and Networks (632)
- Science and Technology Studies (632)
- Physics (472)
- Statistics and Probability (241)
- Environmental Sciences (239)
- Chemistry (184)
- Mathematics (173)
- Applied Mathematics (157)
- Applied Statistics (157)
- Earth Sciences (149)
- Institutional and Historical (45)
- Education (39)
- Higher Education (39)
- Medicine and Health Sciences (37)
- Arts and Humanities (35)
- Oil, Gas, and Energy (33)
- Electrical and Computer Engineering (31)
- Power and Energy (31)
- Psychology (29)
- Cognition and Perception (28)
- Keyword
-
- Computer Science (283)
- Department of Computer Science and Engineering (243)
- Engineering (179)
- Department of Earth and Environmental Sciences (172)
- Department of Chemistry (161)
-
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Wright State University (90)
- Department of Physics (82)
- Chemistry (76)
- Semantic Web (66)
- Department of Computer Science (65)
- Universities and colleges--Faculty (58)
- Mathematics and Statistics (56)
- Physics (54)
- Psychology (53)
- Statistics (52)
- Computer Engineering (50)
- Education--Demographic aspects (43)
- History (43)
- Office of Institutional Research (43)
- School enrollment (43)
- Students (43)
- Teachers (43)
- Universities and colleges--Curricula (43)
- Environmental Science (39)
- Department of Mechanical and Materials Engineering (31)
- Ontology (28)
- Publication
-
- Computer Science & Engineering Syllabi (1312)
- Browse all Theses and Dissertations (780)
- Kno.e.sis Publications (543)
- Physics Faculty Publications (341)
- Computer Science and Engineering Faculty Publications (274)
-
- BITs and PCs Newsletter (157)
- Mathematics and Statistics Faculty Publications (127)
- Wright State University Student Fact Books (43)
- Symposium of Student Research, Scholarship, and Creative Activities Materials (31)
- Yi Li (29)
- College of Science and Mathematics Newsletters (27)
- Journal of Bioresource Management (26)
- Joseph W. Houpt (16)
- Physics Seminars (16)
- Psychology Faculty Publications (13)
- Earth and Environmental Sciences Faculty Publications (12)
- Chemistry Faculty Publications (10)
- Design and Analysis of Experiments (9)
- Chemistry Student Publications (8)
- Lake Campus Research Symposium Reports (6)
- Special Session 5: Carbon and Oxide Based Nanostructured Materials (2011) (6)
- Special Session 5: Carbon and Oxide Based Nanostructured Materials (2012) (6)
- Special Session 5: Carbon and Oxide Based Nanostructured Materials (2013) (6)
- Special Session 5: Carbon and Oxide Based Nanostructured Materials (2014) (5)
- The University Honors Program (4)
- Festival of Research (3)
- Lake Campus Research Symposium Abstracts and Posters (3)
- Runkle Woods Symposia (3)
- Economic Development (2)
- Explorations – The Journal of Undergraduate Research, Scholarship and Creativity at Wright State (2)
- Publication Type
- File Type
Articles 2401 - 2430 of 3840
Full-Text Articles in Physical Sciences and Mathematics
Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li
Paraconsistent Resolution For Four-Valued Description Logics, Yue Ma, Pascal Hitzler, Zuoquan Li
Computer Science and Engineering Faculty Publications
In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve this in two steps: First we give a simple way to make any ALC based ontology 4-valued satisfiable, and then we study a sound and complete paraconsistent ordered-resolution decision procedure for our 4-valued ALC. Our approach can be viewed as a paraconsistent version of KAON2 algorithm.
Foundations Of Refinement Operators For Description Logics, Jens Lehmann, Pascal Hitzler
Foundations Of Refinement Operators For Description Logics, Jens Lehmann, Pascal Hitzler
Computer Science and Engineering Faculty Publications
In order to leverage techniques from Inductive Logic Programming for the learning in description logics (DLs), which are the foundation of ontology languages in the Semantic Web, it is important to acquire a thorough understanding of the theoretical potential and limitations of using refinement operators within the description logic paradigm. In this paper, we present a comprehensive study which analyses desirable properties such operators should have. In particular, we show that ideal refinement operators in general do not exist, which is indicative of the hardness inherent in learning in DLs. We also show which combinations of desirable properties are theoretically …
Algorithms For Paraconsistent Reasoning With Owl, Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms For Paraconsistent Reasoning With Owl, Yue Ma, Pascal Hitzler, Zuoquan Lin
Computer Science and Engineering Faculty Publications
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuracies. Practical reasoning techniques for ontologies therefore will have to be tolerant to this kind of data, including the ability to handle inconsistencies in a meaningful way. For this purpose, we employ paraconsistent reasoning based on four-valued logic, which is a classical method for dealing with inconsistencies in knowledge bases. Its transfer to OWL DL, however, necessitates the making of fundamental design choices in dealing with class inclusion, which has resulted in differing proposals for …
A Refinement Operator Based Learning Algorithm For The Alc Description Logic, Jens Lehmann, Pascal Hitzler
A Refinement Operator Based Learning Algorithm For The Alc Description Logic, Jens Lehmann, Pascal Hitzler
Computer Science and Engineering Faculty Publications
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, faces a bottleneck due to the lack of available knowledge bases, and it is paramount that suitable automated methods for their acquisition will be developed. In this paper, we provide the first learning algorithm based on refinement operators for the most fundamental description logic ALC. We develop the algorithm from thorough theoretical foundations and report on a prototype implementation.
Acquisition Of Owl Dl Axioms From Lexical Resources, Johanna Volker, Pascal Hitzler, Philipp Cimiano
Acquisition Of Owl Dl Axioms From Lexical Resources, Johanna Volker, Pascal Hitzler, Philipp Cimiano
Computer Science and Engineering Faculty Publications
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connectives, role restrictions, and other expressive features of the Web Ontology Language OWL remains largely unexplored. In this paper, we present a method and implementation for enriching inexpressive OWL ontologies with expressive axioms which is based on a deep syntactic analysis of natural language definitions. We argue that it can serve as a core for a semi-automatic ontology engineering process supported by a methodology that integrates methods for both ontology learning and evaluation. The feasibility of our approach is …
Efficient Owl Reasoning With Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Efficient Owl Reasoning With Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Computer Science and Engineering Faculty Publications
We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined.
Selecting Labels For News Document Clusters, Krishnaprasad Thirunarayan, Trivikram Immaneni, Mastan Vali Shaik
Selecting Labels For News Document Clusters, Krishnaprasad Thirunarayan, Trivikram Immaneni, Mastan Vali Shaik
Kno.e.sis Publications
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences of document in a document cluster (obtained as a result of an entity-event-duration query), and formalize an approach to extracting a short phrase from well-supported headlines/sentences of the cluster that can serve as the cluster label. Our technique maps a sentence into a set of significant stems to approximate its semantics, for comparison. Eventually a cluster label is extracted from a selected headline/sentence as a contiguous sequence of words, resuscitating word sequencing information lost …
A Well-Founded Semantics For Hybrid Mknf Knowledge Bases, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
A Well-Founded Semantics For Hybrid Mknf Knowledge Bases, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Computer Science and Engineering Faculty Publications
In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.
Measuring Inconsistency For Description Logics Based On Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency For Description Logics Based On Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Computer Science and Engineering Faculty Publications
In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We first define the degree of inconsistency of an inconsistent ontology using a four-valued semantics for the description logic ALC. Then an ordering over inconsistent ontologies is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.
Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan
Runtime Support Of Speculative Optimization For Offline Escape Analysis, Kevin Cleereman, Michelle Cheatham, Krishnaprasad Thirunarayan
Kno.e.sis Publications
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interfere with dynamic class loading and an online analysis must sacrifice precision for speed. We describe a technique that permits the safe use of aggressive, speculative offline escape analysis in programs potentially loading classes that violate the analysis results.
Using Sawsdl For Semantic Service Interoperability, Kunal Verma, Amit P. Sheth
Using Sawsdl For Semantic Service Interoperability, Kunal Verma, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Semantic Annotations For Wsdl, Amit P. Sheth, Jacek Kopecky
Semantic Annotations For Wsdl, Amit P. Sheth, Jacek Kopecky
Kno.e.sis Publications
No abstract provided.
Estimating The Cardinality Of Rdf Graph Patterns, Angela Maduko, Kemafor Anyanwu, Amit P. Sheth, Paul Schliekelman
Estimating The Cardinality Of Rdf Graph Patterns, Angela Maduko, Kemafor Anyanwu, Amit P. Sheth, Paul Schliekelman
Kno.e.sis Publications
Most RDF query languages allow for graph structure search through a conjunction of triples which is typically processed using join operations. A key factor in optimizing joins is determining the join order which depends on the expected cardinality of intermediate results. This work proposes a pattern-based summarization framework for estimating the cardinality of RDF graph patterns. We present experiments on real world and synthetic datasets which confirm the feasibility of our approach.
Altering Document Term Vectors For Classification - Ontologies As Expectations Of Co-Occurrence, Meenakshi Nagarajan, Amit P. Sheth, Marcos Aguilera, Kimberly Keeton, Arif Merchant, Mustafa Uysal
Altering Document Term Vectors For Classification - Ontologies As Expectations Of Co-Occurrence, Meenakshi Nagarajan, Amit P. Sheth, Marcos Aguilera, Kimberly Keeton, Arif Merchant, Mustafa Uysal
Kno.e.sis Publications
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in Ontologies. Preliminary evaluations indicate that the new approach generally improves precision and recall, more so for hard to classify cases and reveals patterns indicating the usefulness of such background knowledge.
Semantic Web: Technologies And Applications For The Real-World, Amit P. Sheth
Semantic Web: Technologies And Applications For The Real-World, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Visualization Of Events In A Spatially And Multimedia Enriched Virtual Environment, Leonidas Deligiannidis, Farshad Hakimpour, Amit P. Sheth
Visualization Of Events In A Spatially And Multimedia Enriched Virtual Environment, Leonidas Deligiannidis, Farshad Hakimpour, Amit P. Sheth
Kno.e.sis Publications
Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environment. SET provides integrated views of information spaces while providing overview and detail to improve perception and evaluation of complex scenarios. We model an event as an object that describes an action and its location, time, and relations to other objects. Real world event information is extracted from Internet sources, then stored and processed using Semantic Web technologies that enable us to discover semantic associations between events. We use RDF graphs to represent semantic metadata and ontologies. …
An Experiment In Integrating Large Biomedical Knowledge Resources With Rdf: Application To Associating Genotype And Phenotype Information, Satya S. Sahoo, Olivier Bodenreider, Kelly Zeng, Amit P. Sheth
An Experiment In Integrating Large Biomedical Knowledge Resources With Rdf: Application To Associating Genotype And Phenotype Information, Satya S. Sahoo, Olivier Bodenreider, Kelly Zeng, Amit P. Sheth
Kno.e.sis Publications
Bridging between genotype and phenotype is generally achieved through the integration of knowledge sources such as Entrez Gene (EG), Online Mendelian Inheritance in Man (OMIM) and the Gene Ontology (GO). Traditionally, such integration implies manual effort or the development of customized software. In this paper, we demonstrate how the Resource Description Framework (RDF) can be used to represent and integrate these resources and support complex queries over the unified resource. We illustrate the effectiveness of our approach by answering a real-world biomedical query linking a specific molecular function, glycosyltransferase, to the disorder congenital muscular dystrophy, which potentially forms a new …
Semantic Web Applications In Industry, Government, Health Care And Life Sciences, Amit P. Sheth
Semantic Web Applications In Industry, Government, Health Care And Life Sciences, Amit P. Sheth
Kno.e.sis Publications
No abstract provided.
Cs 142: Computer Programming - Ii, Eric Maston
Cs 142: Computer Programming - Ii, Eric Maston
Computer Science & Engineering Syllabi
This course provides a continuation to the general introduction of computer programming begun in CS 141. Examples from and applications to a broad range of problems are given. The concepts covered will be applied to the Java programming language. (Students must register for both lecture and laboratory sections.)
Cs 141: Computer Programming - I, Michael Ondrasek
Cs 141: Computer Programming - I, Michael Ondrasek
Computer Science & Engineering Syllabi
This course provides a general introduction to the fundamentals of computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. The concepts covered will be applied to the Java programming language. Students must register for both lecture and one laboratory section. 4 credit hours. Prerequisite: MTH 127 (College Algebra) or equivalent.
Cs 206: Advanced Concepts/Techniques And Software Productivity Tools, John P. Herzog
Cs 206: Advanced Concepts/Techniques And Software Productivity Tools, John P. Herzog
Computer Science & Engineering Syllabi
By the end of this course, the students will have a greater depth of understanding in the areas of word processing, spreadsheets, databases, and presentation software and web design using Microsoft Word, Microsoft FrontPage, Microsoft Excel, Access, and PowerPoint covering the following topics.
Microsoft Excel 2003:
Tutorial 5: Working with Excel Lists
Tutorial 6: Working with Multiple Worksheets and Workbooks Tutorial 7: Working with
Excel's Editing and Web Tools Tutorial 8: Developing an Excel Application Appendix A:
Working with Logical Functions, Database Functions, and Advanced Filtering Appendix B:
Integrating Excel with Other Window Programs
Microsoft Access 2003:
Tutorial 5: Enhancing …
Cs 208: Computer Programming For Business I, Dennis Kellermeier
Cs 208: Computer Programming For Business I, Dennis Kellermeier
Computer Science & Engineering Syllabi
CS 208 is the first of a two quarter sequence in programming for business students. It is required for Management Information Science majors. The courses are designed to help students achieve a high degree of facility in intermediate level programming. This course assumes students have never written a program before.
Cs 209: Computer Programming For Business Ii, Dennis Kellermeier
Cs 209: Computer Programming For Business Ii, Dennis Kellermeier
Computer Science & Engineering Syllabi
CS 209 is the second of a two quarter sequence in programming for business students. It is required for Management Information Science majors. The courses are designed to help students achieve a high degree of facility in intermediate level programming.
Cs 214: Visual Basic Programming, Michael Ondrasek
Cs 214: Visual Basic Programming, Michael Ondrasek
Computer Science & Engineering Syllabi
This course provides a general introduction to the fundamentals of object computer programming. Examples from and applications to a broad range of problems are given. No prior knowledge of programming is assumed. However, students should have a familiarity with programming concepts. The concepts covered will be applied in the Visual Basic programming language. 4 credit hours.
Cs 241: Introduction To Computer Science Ii, Haiyun Bian
Cs 241: Introduction To Computer Science Ii, Haiyun Bian
Computer Science & Engineering Syllabi
This course is the second in the three course sequence "Introduction to Computer Science" offered by the Computer Science department, WSU. Concepts introduced in CS 240 are developed in greater detail and depth with the Java programming language. Topics include object oriented programming, basic sorting algorithms, recursion, graphics, development of user interfaces and exception handling. Student must register for one lecture section and one lab section.
Cs 242: Computer Programming Iii, Mateen M. Rizki
Cs 242: Computer Programming Iii, Mateen M. Rizki
Computer Science & Engineering Syllabi
No abstract provided.
Cs 415: Social Implications Of Computing, Leo Finkelstein
Cs 415: Social Implications Of Computing, Leo Finkelstein
Computer Science & Engineering Syllabi
CS 415 is a communication skills course using as its subject matter current salient issues associated with the social implications of computing. In addition to the course text, you will need to use certain reading materials in the library and elsewhere, and you will be responsible for using concepts and theories provided in class lectures and discussions.
Cs 470/670: System Simulation, Mateen M. Rizki
Cs 470/670: System Simulation, Mateen M. Rizki
Computer Science & Engineering Syllabi
No abstract provided.
Cs 701: Database Systems And Design I, Guozhu Dong
Cs 701: Database Systems And Design I, Guozhu Dong
Computer Science & Engineering Syllabi
An introduction to database design, database system implementation issues and techniques, and advanced data models.
Cs 790-03: Information Integration & Analysis, Amit P. Sheth
Cs 790-03: Information Integration & Analysis, Amit P. Sheth
Computer Science & Engineering Syllabi
This course deals with the integration and analysis of heterogeneous data-a topic of significant research as well as practical importance. A typical large organization spends around 30% of all its IT effort and expense for data/information integration. Furthermore, organizations can greatly increase their competitiveness by exploiting the data they collect, and discovering trends and patterns leading to insights. Hugh repositories of public data on the Web also provide opportunity to discovery undiscovered public knowledge.