No Access

TOWARD A UNIFIED ENGLISH-LIKE REPRESENTATION OF SEMANTIC MODELS, DATA, AND GRAPH PATTERNS FOR SUBJECT MATTER EXPERTS

ANDREW CRAPO

GE Global Research, Niskayuna, NY 12309, USA

Search for more papers by this author

and

ABHA MOITRA

GE Global Research, Niskayuna, NY 12309, USA

Search for more papers by this author

https://doi.org/10.1142/S1793351X13500025Cited by:37 (Source: Crossref)

Abstract

The Semantic Application Design Language (SADL) combines advances in standardized declarative modeling languages based on formal logic with advances in domain-specific language (DSL) development environments to create a controlled-English language that translates directly into the Web Ontology Language (OWL), the SPARQL graph query language, and a compatible if/then rule language. Models in the SADL language can be authored, tested, and maintained in an Eclipse-based integrated development environment (IDE). This environment offers semantic highlighting, statement completion, expression templates, hyperlinking of concepts to their definition, model validation, automatic error correction, and other advanced authoring features to enhance the ease and productivity of the modeling environment. In addition, the SADL language offers the ability to build in validation tests and test suites that can be used for regression testing. Through common Eclipse functionality, the models can be easily placed under source code control, versioned, and managed throughout the life of the model. Differences between versions can be compared side-by-side. Finally, the SADL-IDE offers an explanation capability that is useful in understanding what was inferred by the reasoner/rule engine and why those conclusions were reached. Perhaps more importantly, explanation is available of why an expected inference failed to occur. The objective of the language and the IDE is to enable domain experts to play a more active and productive role in capturing their knowledge and making it available as computable artifacts useful for automation where appropriate and for decision support systems in applications that benefit from a collaborative human-computer approach. SADL is built entirely on open source code and most of SADL is itself released to open source. This paper explores the concepts behind the language and provides details and examples of the authoring and model lifecycle support facilities.

Keywords:

References

AllegroGraph. http://www.franz.com/agraph/allegrograph/ . Google Scholar
Apache Jena. https://jena.apache.org/ . Google Scholar
A. W. Crapo, X. Wang, J. Lizzi and R. Larson, The semantically enabled smart grid in Grid Interop, 2009, http://www.gridwiseac.org/pdfs/forum_papers09/crapo.pdf (accessed September 9, 2010) . Google Scholar
A. Crapo, K. Griffith, A. Khandelwal, J. Lizzi, A. Moitra and X. Wang, Overcoming challenges using the CIM as a semantic model for energy applications, in Grid Interop, 2010. http://www.smartgridnews.com/artman/uploads/1/crapo_gi10.pdf . Google Scholar
N. E. Fuchs , K. Kaljurand and G. Schneider , Attempto Controlled English meets the challenges of knowledge representation, reasoning, interoperability and user interfaces , FLAIRS ( 2006 ) . Google Scholar
N. E. Fuchs, K. Kaljurand and T. Kuhn, Discourse representation structures for ACE 6.6, Technical Report 2010.0010, Department of Informatics, University of Zurich . Google Scholar
P. N. Johnson-Laird , Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness ( Harvard University Press , Cambridge, MA , 1983 ) . Google Scholar
P. N. Johnson-Laird , The Computer and the Mind ( Harvard University Press , Cambridge, MA , 1988 ) . Google Scholar
P. N. Johnson-Laird , Human and Machine Thinking ( Lawrence Erlbaum Associates , Hillsdale, NJ , 1994 ) . Google Scholar
T. Kuhn, A survey and classification of controlled natural languages, Computational Linguistics, 2014, MIT Press . Google Scholar
A. Moitra et al. , Data provenance architecture to support assurance in a multi-level secure environment , MILCOM 2009 ( 2009 ) . Google Scholar
A. Moitraet al., Addressing uncertainty and conflicts in cross-domain data provenance, MILCOM 2010 (2010) pp. 1764–1769, http://202.194.20.8/proc/MILCOM2010/papers/p1764-moitra.pdf. Google Scholar
A. Moitra, B. Barnett, A. W. Crapo and S. J. Dill, Using data provenance to measure information assurance attributes, in Provenance and Annotation of Data, Revised Selected Papers/Vol. 6378/International Provenance and Annotation Workshop, Troy, NY, June 2010 . Google Scholar
Notation3 (N3): A readable RDF syntax. http://www.w3.org/TeamSubmission/n3/ . Google Scholar
OWL Web Ontology Language Reference: W3C Recommendation, 10 February 2004, available on-line at http://www.w3.org/TR/owl-ref/ . Google Scholar
S. Quirolgicoet al., Towards a formal common information model ontology, Web Information Systems-WISE 2004 Workshop3307, LNCS (2004) pp. 11–21. Google Scholar
A. Rangarajan, P. Radhakrishnan, A. Moitra, A. W. Crapo and D. Robinson, Manufacturability analysis and design feedback system developed using semantic framework, in Proc. ASME 2013 International Design Engineering Technical Conferences (IDETC) and Computers and Information in Engineering Conference (CIE), Aug 4–7, 2013, Portland, Oregon, USA . Google Scholar
Semantic Application Design Language (SADL), Open Source project on Source Forge, overview at http://sadl.sourceforge.net/sadl.html . Google Scholar
J. F. Sowa , Knowledge Representation: Logical, Philosophical, and Computational Foundations ( Brooks Cole Publishing Co. , Pacific Grove, CA , 2000 ) . Google Scholar
SPARQL Query Language for RDF: W3C Recommendation 15 January 2008, available online at http://www.w3.org/TR/rdf-sparql-query/ . Google Scholar