A5060350556- Semantic Web and Ontologies
- Advanced Database Systems and Queries
- Service-Oriented Architecture and Web Services
- Logic, Reasoning, and Knowledge
- Biomedical Text Mining and Ontologies
- Natural Language Processing Techniques
- Data Management and Algorithms
- Topic Modeling
- Data Quality and Management
- Scientific Computing and Data Management
- Business Process Modeling and Analysis
- Logic, programming, and type systems
- Rough Sets and Fuzzy Logic
- Advanced Graph Neural Networks
- AI-based Problem Solving and Planning
- Web Data Mining and Analysis
- Constraint Satisfaction and Optimization
- Formal Methods in Verification
- Distributed and Parallel Computing Systems
- Advanced Text Analysis Techniques
- Multi-Agent Systems and Negotiation
- Advanced Algebra and Logic
- Bioinformatics and Genomic Networks
- Image Retrieval and Classification Techniques
- Graph Theory and Algorithms
University of Manchester
2002-2024
University of Oxford
2015-2024
eBay (United States)
2024
Utah Valley University
2021
The Alan Turing Institute
2019
National and Kapodistrian University of Athens
2019
Science Oxford
2012-2015
University of Oslo
2013
TU Dresden
2008
National Technical University of Athens
2007
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches rules (RuleML Logic Programs) ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Programs (DLP), closely related Horn (DHL) which is an fragment of first-order logic (FOL). DLP provides significant degree expressiveness, substantially greater than...
Researchers in artificial intelligence first developed ontologies to facilitate knowledge sharing and reuse. Ontologies play a major role supporting information exchange across various networks. A prerequisite for such is the development of joint standard specifying exchanging ontologies. The authors present OIL, proposal standard. applied World Wide Web are creating Semantic Web.
XML and RDF are the current standards for establishing semantic interoperability on Web, but addresses only document structure. better facilitates interoperation because it provides a data model that can be extended to address sophisticated ontology representation techniques. We explain role of ontologies in architecture Semantic Web. then briefly summarize key elements RDF, showing why using as tool will ineffective long run. argue further inference layer is needed top Web's layers,...
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization ontologies, message content protocols will be necessary.In this paper we investigate how Services technologies can used support service advertisement discovery in e-commerce. In particular, describe design implementation a matchmaking prototype which uses DAML-S based ontology Description Logic reasoner compare descriptions. We also present...
How ontologies provide the semantics, as explained here with help of Harry Potter and his owl Hedwig.
The Web has drastically changed the availability of electronic information, but its success and exponential growth have made it increasingly difficult to find, access, present maintain such information for a wide variety users. In reaction this bottleneck many new research initiatives commercial enterprises been set up enrich available with machine-processable semantics. paper considers how semantic will provide intelligent access heterogeneous distributed enabling software products (agents)...
In this paper, we propose a set of tasks that are relevant for the modular reuse ontologies. order to formalize these as reasoning problems, introduce notions conservative extension, safety and module very general class logic-based ontology languages. We investigate properties relationships between study problems have previously identified. To computability consider, in particular, Description Logics (DLs), which provide formal underpinning W3C Web Ontology Language (OWL), show all consider...
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as Semantic Web. Unnecessary nondeterminism and construction of large models are two primary sources inefficiency tableau-based calculi used state-of-the-art reasoners. In order to reduce nondeterminism, we base our on hypertableau hyperresolution calculi, which extend blocking condition ensure termination. size constructed models, introduce anywhere...