NDLI: Making sense of description logics

Please wait, while we are loading the content...

Crowdsourced semantic annotation of scientific publications and tabular data in PDF

Complex event extraction from real-time news streams

Toward a statistical data integration environment: the role of semantic metadata

The role of reasoning for RDF validation

TailR: a platform for preserving history on the web of data

Integrating custom index extensions into virtuoso RDF store for e-commerce applications

Knowledge base shipping to the linked open data cloud

A linked data platform for finite element biosimulations

Cross-lingual lexical matching with word translation and local similarity optimization

A semantic method for multiple resources exploitation

LODFlow: a workflow management system for linked data processing

Machine-interpretable dataset and service descriptions for heterogeneous data access and retrieval

An optimization approach for load balancing in parallel link discovery

Living semantic platform

An elastic and scalable spatiotemporal query processing for linked sensor data

Accessing and reasoning with data from disparate data sources using modular ontologies and OBDA

iCM-Hydraulic: semantics-empowered condition monitoring of hydraulic machines

Updating OWL2 ontologies using pruned rulesets

SemaGrow: optimizing federated SPARQL queries

Data licensing on the cloud: empirical insights and implications for linked data

MEX vocabulary: a lightweight interchange format for machine learning experiments

SimplePARQL: a new approach using keywords over SPARQL to query the web of data

Making sense of description logics

Streaming transformation of XML to RDF using XPath-based mappings

An overview of the tourpedia linked dataset with a focus on relations discovery among places

Unsupervised learning of an extensive and usable taxonomy for DBpedia

The DBpedia wayback machine

Updating SPARQL results in real-time with client-side fragment patching

Procurement notice enrichment using product ontologies

Online ontology shortest paths searcher

Making sense of description logics

Content Provider	ACM Digital Library
Author	Collins, Trevor Mulholland, Paul Motta, Enrico Warren, Paul
Abstract	Description Logics are commonly used for the development of ontologies. Yet they are well-known to present difficulties of comprehension, e.g. when confronted with the justification for a particular entailment during the debugging process. This paper describes a study into the problems experienced in understanding and reasoning with Description Logics. In particular the study looked at: functionality in object properties; negation, disjunction and conjunction in Propositional Logic; negation and quantification; and the combination of two quantifiers. The difficulties experienced are related to theories of reasoning developed by cognitive psychologists, specifically the mental model and relational complexity theories. The study confirmed that problems are experienced with functional object properties and investigated the extent to which these difficulties can be explained by relational complexity theory. Mental model theory was used to explain performance with negation and quantifiers. This suggests that Boolean logic is easier to assimilate in Disjunctive Normal Form than in other forms and that particular difficulties arise when it is necessary to backtrack to form a mental model. On the other hand in certain cases syntactic clues seemed to contribute to reasoning strategies.
Starting Page	49
Ending Page	56
Page Count	8
File Format	PDF
ISBN	9781450334624
DOI	10.1145/2814864.2814866
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-09-16
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Description logics Experimentation Psychology of reasoning
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in