FLOPS 2022
Tue 10 - Thu 12 May 2022 Online
Tue 10 May 2022 11:20 - 11:45 - Session 2 Chair(s): William E. Byrd

Capturing domain knowledge is a time-consuming procedure that usually requires the collaboration of a Subject Matter Expert (SME) and a modeling expert to encode the knowledge. The situation is further exacerbated in some domains and applications. The SME may find it challenging to articulate the domain knowledge as a procedure or a set of rules but may find it easier to classify instance data. In the cyber-physical domain, inferring the implemented mathematical concepts in the source code or a different form of representation, such as the Resource Description Framework (RDF), is difficult for the SME, requiring particular expertise in low-level programming or knowledge in Semantic Web technologies. To facilitate this knowledge elicitation from SMEs, we developed a system that automatically generates classification and annotation rules for control concepts in cyber-physical systems (CPS). Our proposed approach leverages the RDF representation of CPS source code and generates the rules using Inductive Logic Programming and semantic technologies. The resulting rules require a small set of labeled instance data that is provided interactively by the SME through a user interface within our system. The generated rules can be inspected and manually refined.

Tue 10 May

Displayed time zone: Osaka, Sapporo, Tokyo change

10:30 - 11:45
Session 2FLOPS 2022
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
10:30
25m
Talk
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data
FLOPS 2022
Huaduo Wang University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas
10:55
25m
Talk
Improving Type Error Reporting for Type Classes
FLOPS 2022
Sheng Chen University of Louisiana at Lafayette, Md Rabib Noor UL Lafayette
11:20
25m
Talk
System Description: Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming
FLOPS 2022
Basel Shbita Information Sciences Institute, Abha Moitra General Electric Research